On Wednesday, 8 November 2023 07:29:49 GMT Gustavo Calvo wrote:
> Hi! Is there a way to use character U+2112 in my document? So far I have
> tried `\[u2112]`, which does seem to work for characters like `\[u0394]`
> that are listed in the groff_char manual.
Hi Gustavo,
If you are going for
Hi Gustavo,
At 2023-11-08T07:29:49+, Gustavo Calvo wrote:
> Hi! Is there a way to use character U+2112 in my document? So far I
> have tried `\[u2112]`, which does seem to work for characters like
> `\[u0394]` that are listed in the groff_char manual.
Sure. There are a couple of approaches.
Hi! Is there a way to use character U+2112 in my document? So far I have tried
`\[u2112]`, which does seem to work for characters like `\[u0394]` that are
listed in the groff_char manual.
