the Matita manual is now convertible to a decent .tex that is processable both

[helm.git] / share / texmf / unicode / data / uni-global.def

diff --git a/share/texmf/unicode/data/uni-global.def b/share/texmf/unicode/data/uni-global.def
new file mode 100644 (file)
index 0000000..cfe48de
--- /dev/null
+++ b/share/texmf/unicode/data/uni-global.def
@@ -0,0 +1,32 @@
+%%% unicode global data for ucs.sty, autogenerated by makeunidef.pl
+\ifx\ProvidesFile\undefined\else
+\ProvidesFile{uni-global.def}[2006/06/08 UCS: Unicode global data]%
+\fi
+\ifx\newenvironment\undefined\else\newenvironment{ucjk}{\ifx\toplevel@ucjk\undefined\begin{CJK}{JIS}{}\restore@utf@viii@actives\fi\bgroup\let\toplevel@ucjk1}{\egroup\ifx\toplevel@ucjk\undefined\end{CJK}\fi}\fi
+\ifx\ProvideTextCommandDefault\undefined\else
+\ProvideTextCommandDefault{\textdegree}{\ensuremath{{^\circ}}}
+\ProvideTextCommandDefault{\textonehalf}{\ensuremath{\frac12}}
+\ProvideTextCommandDefault{\textonequarter}{\ensuremath{\frac14}}
+\ProvideTextCommandDefault{\textthreequarters}{\ensuremath{\frac34}}
+\fi
+\makeatletter
+\ProvideTextCommandDefault\textcommabelow[1]
+  {\hmode@bgroup\ooalign{\null#1\crcr\hidewidth\raise-.31ex
+   \hbox{\check@mathfonts\fontsize\ssf@size\z@
+   \math@fontsfalse\selectfont,}\hidewidth}\egroup}
+\DeclareUnicodeOption{cjkhangul}%
+\DeclareUnicodeOption{postscript}%
+\DeclareUnicodeOption{dirty}%
+\DeclareUnicodeOption{default}%
+\DeclareUnicodeOption{cjkgb}%
+\DeclareUnicodeOption{privatecsur}%
+\DeclareUnicodeOption{autogenerated}%
+\DeclareUnicodeOption{cjkjis}%
+\DeclareUnicodeOption{mathletters}%
+\DeclareUnicodeOption{ctrlglyphs}%
+\DeclareUnicodeOption{cjkbg5}%
+\DeclareUnicodeOption{tipa}%
+%%% Local Variables: 
+%%% mode: latex
+%%% coding: utf-8
+%%% End: