symbolset

One can create a symbol set with a specific font by using the commands \startsymbolset --- \stopsymbolset. Here is an example which creates the « dangerous bend » used by Donald Kunth with his font manfnt.

Once a symbolset has been declared and set up, one can use the declared symbols (for instance here dbend) with the command \symbol{dbend}, or imbed it in other commands.

% First we declare the font where the symbols have to be found
\definefontsynonym[bends][file:manfnt.afm]

% Then we declare a proper set of symbols:
\startsymbolset [Dangerous Bends]
	\definesymbol [dbend]   [\resolvedglyphdirect{bends}{n:char_7e}]
	\definesymbol [lhdbend] [\resolvedglyphdirect{bends}{n:char_7f}]
\stopsymbolset

% Here we say which symbolset is to be used:
\setupsymbolset [Dangerous Bends]

% One can use the symbols directly with the command \symbol
% or imbed it in other commands.
\define\dbend{\inmargin{\symbol{dbend}}}
\define\ddbend{\inmargin{\symbol{dbend}\symbol{dbend}}}
\define\dddbend{\inmargin{\symbol{dbend}\symbol{dbend}\symbol{dbend}}}

\starttext
Here we use the symbols directly: \symbol{dbend}\quad \symbol{lhdbend}.
\blank[big]
\dbend This result is difficult to prove.
\blank[big]
\ddbend This result is more difficult to prove.
\blank[big]
\dddbend This result is even more difficult to prove.
\stoptext