On 6/25/2020 12:38 AM, Mike Cooper wrote:
How does one insert/use a special character?At this particular time, I want Double Prime: Unicode 02BA. \setupbodyfont[dejavu]
\setupbodyfont[dejavu] \starttext \Uchar "02BA % followed by space or \relax or {} \utfchar{"02BA}% \utfchar{0x02BA}% \doubleprime % from math font สบ \stoptext (not all fonts have that character but \doubleprime normally works as it gets the character from the math font) Hans ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | www.pragma-ade.nl | www.pragma-pod.nl -----------------------------------------------------------------