16 Feb
2013
16 Feb
'13
4:49 a.m.
On 2013–02–15 thomas wrote:
how can i put a normal # sign (as part of a \type{} environment) in a footnote ? Until now i got "####" or "\#" or nothing.
Please look at the attached example and log-output.
It works for \type if you use \asciimode but \starttyping fails even with \asciimode. Philipps buffer solution seems to work with either version. \asciimode \starttext %% works \startfootnote foo \type{#bar} \stopfootnote %% fails %% \startfootnote %% foo %% \starttyping %% #bar %% \stoptyping %% \stopfootnote \stoptext Marco