Lightning symbol

Hello,

people tend to use the lightning symbol ↯ (LaTex: \unicode{x21af}) for contradictions. I switched over from Mathjax, where the latter was possible. Here in KaTeX I tried to use \text{↯}, which works fine but I get the following warning on the console:

katex.min.js:1 LaTeX-incompatible input and strict mode is set to 'warn': Unrecognized Unicode character "↯" (8623) [unknownSymbol]
No character metrics for '↯' in style 'Main-Regular'

Is there something we can do about it?

Thanks Robert

[edemaine]

The warning means that the symbol is not in the KaTeX font, so it is falling back to your document font (I believe), which can look inconsistent. KaTeX also doesn’t know the size of the character, which can lead to incorrect vertical spacing in particular. If neither of these are issues, you can ignore the warnings, or remove them via the strict setting.

[infusion]

@kevinbarabash I embed KaTex into my site where I use a Google Font. But I think that does not matter. The important thing is that unicode is used on the site. I tested KaTex with html entities which fails with a parse error. But using \text simply adds

<span class="mord text"><span class="mord">↯</span></span>

to the DOM - which is all fine. I also have no problem using \text or add a macro for \lightning. My concerns are regarding the warnings. Are they save to ignore or it just luck that it works with the tex snippet I parsed?