New characters; indentation

This commit is contained in:
Georges Dupéron 2017-07-17 21:56:31 +02:00
parent 295828badf
commit d0cff0ccac

View File

@ -35,6 +35,7 @@
\restoresymbol{ams}{llcorner}
\restoresymbol{ams}{lrcorner}
\usepackage{mathtools}
\usepackage{tikz}
\makeatletter
% Must be loaded after MnSymbol!!! MnSymbol improperly defines × and ¬ in such a
% way that they don't work in math mode.
@ -197,6 +198,7 @@
\DeclareUnicodeCharacter{2071}{\ensuremath{{}^i}}%
\DeclareUnicodeCharacter{02B2}{\ensuremath{{}^j}}% ʲ
\DeclareUnicodeCharacter{1D4F}{\ensuremath{{}^k}}%
\DeclareUnicodeCharacter{2093}{\ensuremath{{}_x}}%
%s
\DeclareUnicodeCharacter{2026}{\ensuremath{\dots}}%
@ -357,5 +359,9 @@
\DeclareUnicodeCharacter{3A0}{\ensuremath{\Pi}}% Π
\DeclareUnicodeCharacter{2216}{\ensuremath{\setminus}}%
\DeclareUnicodeCharacter{22A5}{\ensuremath{\bot}}%
\DeclareUnicodeCharacter{3C8}{\ensuremath{\psi}}% ψ
\DeclareUnicodeCharacter{3B2}{\ensuremath{\beta}}% β
\DeclareUnicodeCharacter{2772}{\tikz[baseline=0.2ex]\draw[line cap=round] (0,0) ++(-30:0.7ex) -- ++(-30:-0.7ex) -- ++(0,1.6ex) -- ++(30:0.7ex) {};}%
\DeclareUnicodeCharacter{2773}{\tikz[baseline=0.2ex]\draw[line cap=round] (0,0) ++(-150:0.7ex) -- ++(-150:-0.7ex) -- ++(0,1.6ex) -- ++(150:0.7ex) {};}%
\makeatother
}>>>|)