diff options
Diffstat (limited to 'docs/xslt/unicode.mapping.dtd')
| -rw-r--r-- | docs/xslt/unicode.mapping.dtd | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/docs/xslt/unicode.mapping.dtd b/docs/xslt/unicode.mapping.dtd new file mode 100644 index 0000000000..d2b6b3db3a --- /dev/null +++ b/docs/xslt/unicode.mapping.dtd @@ -0,0 +1,16 @@ +<?xml version="1.0" encoding="utf-8"?> +<!-- $Id: unicode.mapping.dtd,v 1.1 2003/12/05 06:53:48 ab Exp $ --> +<!-- DTD for XML with mapping Unicode entities to LaTeX commands --> +<!-- Author: Vitaly Ostanin <vyt@altlinux.ru> --> + +<!ELEMENT mapping (character+)> + +<!ELEMENT character (unicode, latex?, mathlatex?, preferred)> + +<!ELEMENT unicode (#PCDATA)> + +<!ELEMENT latex (#PCDATA)> + +<!ELEMENT mathlatex (#PCDATA)> + +<!ELEMENT preferred (#PCDATA)> |