Commit 25c06731 authored by Sergey Goncharov's avatar Sergey Goncharov
Browse files

more spaces to \\xto

parent a934bc32
Pipeline #16677 passed with stage
in 30 seconds
......@@ -8,9 +8,7 @@ add 'SRCNAME=<name-of-root-file>' before the include command.
== Quick summary of commands ==
make (=make dvi) - compiles the .dvi from the root file.
make pdf - complies .pdf from the root file
make (=make pdf) - complies .pdf from the root file
make <filename> - tries to achieve <filename> in a suitable way, e.g. if <filename>=foo.pdf it will try
to compile foo.tex in order to get it no matter what 'foo' is.
......
......@@ -73,8 +73,8 @@
\providecommand{\dar}{\kern-1.2pt\operatorname{\downarrow}}
\providecommand{\uar}{\kern-1.2pt\operatorname{\uparrow}}
\providecommand{\mto}{\mapsto}
\providecommand{\xto}[1]{\xrightarrow{#1}}
\providecommand{\xfrom}[1]{\xleftarrow{\;#1}}
\providecommand{\xto}[1]{\,\xrightarrow{#1}\,}
\providecommand{\xfrom}[1]{\,\xleftarrow{\;#1}\,}
%% Logic
\providecommand{\True}{\top}
......@@ -119,6 +119,9 @@
\providecommand{\ev}{\oname{ev}}
% Semantic brakets
\usepackage{stmaryrd}
\providecommand{\lsem}{\llbracket}
\providecommand{\rsem}{\rrbracket}
\providecommand{\sem}[1]{\lsem #1 \rsem}
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment