mirror of
https://github.com/sdiehl/wiwinwlh.git
synced 2024-09-11 12:05:25 +03:00
8009d67678
* Tweaking fonts to support unicode characters + making it pretty * Adding unicode mapping to math symbols for missing characters * Trying older ghc to fix the CI build issues
14 lines
500 B
TeX
14 lines
500 B
TeX
\newcommand{\sbullet}{%
|
||
\texorpdfstring{\textsbullet}{\textbullet}%
|
||
}
|
||
\DeclareRobustCommand{\textsbullet}{%
|
||
\unskip~\,\begin{picture}(1,1)(0,-3)\circle*{3}\end{picture}\ %
|
||
}
|
||
\usepackage{newunicodechar}
|
||
\newunicodechar{⊥}{\ensuremath{\bot}}
|
||
\newunicodechar{⊤}{\ensuremath{\top}}
|
||
\newunicodechar{∨}{\ensuremath{\vee}}
|
||
\newunicodechar{∧}{\ensuremath{\wedge}}
|
||
\newunicodechar{⇒}{\ensuremath{\Rightarrow}}
|
||
\newunicodechar{•}{\ensuremath{\sbullet}}
|
||
\newunicodechar{λ}{\ensuremath{\lambda}} |