Replies: 1 comment
-
You can load the fonts via https://opentype.js.org/ and see what symbols are available. If |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Hi everyone, I'm defining new logic symbols (e.g. left-facing versions of \models, \vdash, \Vdash etc). They come out very big when built from '|' '-' etc, compared to the primitive \Vdash, but too small using \shortmid etc. I tried scaling with CSS, which is not only a pain but also gives too-thin line widths. Are there primitive characters accessible in Katex (e.g via \char"XXX) which are shorter than '|' but longer than \shortmid? Thanks!
Beta Was this translation helpful? Give feedback.
All reactions