unicode-chars.sty

% definition of some characters, for use with
% \usepackage[utf8]{inputenc}
% \usepackage[T1]{fontenc}
% or with LuaTeX
% Author: Christoph Lange <math.semantic.web@gmail.com>
% Some math characters taken from John Wickerson's MathUnicode.sty (http://tex.stackexchange.com/questions/110042/entering-unicode-math-symbols-into-latex-direct-from-keyboard-on-a-mac)
% https://github.com/clange/latex
\NeedsTeXFormat{LaTeX2e}[1999/12/01]
\ProvidesPackage{unicode-chars}[2019/10/28]
\RequirePackage{newunicodechar}
\RequirePackage{ifluatex}
\ifluatex\else
\newunicodechar{ }{~}%                                 
\newunicodechar{£}{\pounds}%                           
\fi
\newunicodechar{¬}{\ensuremath{\neg}}%                 
\newunicodechar{®}{\textsuperscript{\textregistered}}% 
\newunicodechar{¯}{\ensuremath{^-}}%                   
\newunicodechar{×}{\ensuremath{\times}}%               
\ifluatex\else
\newunicodechar{ā}{\=a}%                               
\newunicodechar{ģ}{\c g}%                              
\newunicodechar{İ}{\. I}%                              
\newunicodechar{ņ}{\c n}%                              
\newunicodechar{ū}{\=u}%                               
\fi
\newunicodechar{α}{\ensuremath{\alpha}}%               
\newunicodechar{λ}{\ensuremath{\lambda}}%              
\newunicodechar{←}{\ensuremath{\leftarrow}}%           
\newunicodechar{→}{\ensuremath{\rightarrow}}%          
% →: \textrightarrow is not available in all fonts, and we need the right arrow in math mode
\newunicodechar{↓}{\ensuremath{\downarrow}}%           
\newunicodechar{↔}{\ensuremath{\leftrightarrow}}%      
\newunicodechar{↦}{\ensuremath{\mapsto}}%              
\newunicodechar{⇀}{\ensuremath{\rightharpoonup}}%      
\newunicodechar{⇒}{\ensuremath{\Rightarrow}}%          
\newunicodechar{∀}{\ensuremath{\forall}}%              
\newunicodechar{∃}{\ensuremath{\exists}}%              
\newunicodechar{∈}{\ensuremath{\in}}%                  
\newunicodechar{∉}{\ensuremath{\not\in}}%              
\newunicodechar{∑}{\ensuremath{\sum}}%                 
\newunicodechar{∘}{\ensuremath{\circ}}%                
\newunicodechar{∧}{\ensuremath{\wedge}}%               
\newunicodechar{∨}{\ensuremath{\vee}}%                 
\newunicodechar{∩}{\ensuremath{\cap}}%                 
\newunicodechar{∪}{\ensuremath{\cup}}%                 
\newunicodechar{∷}{\ensuremath{::}}%                   
% ∷: not sure that's a good way to render this symbol
\newunicodechar{≈}{\ensuremath{\approx}}%              
\newunicodechar{≠}{\ensuremath{\ne}}%                  
\newunicodechar{≡}{\ensuremath{\equiv}}%               
\newunicodechar{≤}{\ensuremath{\le}}%                  
\newunicodechar{≥}{\ensuremath{\ge}}%                  
\newunicodechar{⊆}{\ensuremath{\subseteq}}%            
\newunicodechar{⊇}{\ensuremath{\supseteq}}%            
\newunicodechar{↝}{\ensuremath{\leadsto}}%             
\@ifpackageloaded{MnSymbol}{%
\newunicodechar{⊕}{\ensuremath{\oplus}}%               
\newunicodechar{⊖}{\ensuremath{\ominus}}%              
}{}
\newunicodechar{⋀}{\ensuremath{\bigwedge}}%             
\newunicodechar{⋃}{\ensuremath{\bigcup}}%              
\newunicodechar{⋃}{\ensuremath{\bigcup}}%              
\newunicodechar{○}{\ensuremath{\ocircle}}%             
\@ifpackageloaded{MnSymbol}{%
\newunicodechar{★}{\ensuremath{\filledlargestar}}%     
}{}
\newunicodechar{✓}{\ensuremath{\checkmark}}%           
\newunicodechar{⟶}{\ensuremath{\longrightarrow}}%      
\newunicodechar{⟷}{\ensuremath{\longleftrightarrow}}%  
\newunicodechar{⟹}{\ensuremath{\Longrightarrow}}%