annotate lisp/org/org-entities.el @ 109313:e856a274549b

Constify functions taking char * * alloc.c (pending_malloc_warning, malloc_warning): Add const. * callproc.c (relocate_fd, getenv_internal_1, getenv_internal) (egetenv): Likewise. * doprnt.c (doprnt): Likewise. * editfns.c (set_time_zone_rule, format2): Likewise. * emacs.c (decode_env_path): Likewise. * eval.c (signal_error, error): Likewise. * insdel.c (replace_range_2): Likewise. * keyboard.c (cmd_error_internal): Likewise. * lread.c (isfloat_string, make_symbol, dir_warning): Likewise. * print.c (write_string, write_string_1, print_error_message): Likewise. * vm-limit.c (warn_function, memory_warnings): Likewise. * xdisp.c (message1, message1_nolog, message_with_string) (vmessage, message, message_nolog): Likewise. * emacs.c: Remove duplicate declaration. * keyboard.h: Likewise. * lisp.h: Update prototypes.
author Andreas Schwab <schwab@linux-m68k.org>
date Sun, 11 Jul 2010 11:27:13 +0200
parents 3bd67aa6b7e2
children a150e8a14679
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
107863
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
1 ;;; org-entities.el --- Support for special entities in Org-mode
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
2
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
3 ;; Copyright (C) 2010 Free Software Foundation, Inc.
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
4
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
5 ;; Author: Carsten Dominik <carsten at orgmode dot org>,
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
6 ;; Ulf Stegemann <ulf at zeitform dot de>
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
7 ;; Keywords: outlines, calendar, wp
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
8 ;; Homepage: http://orgmode.org
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
9 ;; Version: 6.35i
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
10 ;;
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
11 ;; This file is part of GNU Emacs.
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
12 ;;
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
13 ;; GNU Emacs is free software: you can redistribute it and/or modify
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
14 ;; it under the terms of the GNU General Public License as published by
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
15 ;; the Free Software Foundation, either version 3 of the License, or
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
16 ;; (at your option) any later version.
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
17
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
18 ;; GNU Emacs is distributed in the hope that it will be useful,
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
19 ;; but WITHOUT ANY WARRANTY; without even the implied warranty of
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
20 ;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
21 ;; GNU General Public License for more details.
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
22
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
23 ;; You should have received a copy of the GNU General Public License
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
24 ;; along with GNU Emacs. If not, see <http://www.gnu.org/licenses/>.
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
25 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
26 ;;
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
27 ;;; Commentary:
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
28
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
29 (require 'org-macs)
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
30
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
31 (declare-function org-table-align "org-table" ())
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
32
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
33 (eval-when-compile
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
34 (require 'cl))
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
35
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
36 (defgroup org-entities nil
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
37 "Options concerning entities in Org-mode."
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
38 :tag "Org Entities"
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
39 :group 'org)
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
40
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
41 (defcustom org-entities-ascii-explanatory nil
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
42 "Non-nil means replace special entities in ASCII.
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
43 For example, this will replace \"\\nsup\" with \"[not a superset of]\"
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
44 in backends where the corresponding character is not available."
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
45 :group 'org-entities
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
46 :type 'boolean)
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
47
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
48 (defcustom org-entities-user nil
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
49 "User-defined entities used in Org-mode to preduce special characters.
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
50 Each entry in this list is a list of strings. It associate the name
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
51 of the entity that can be inserted into an Org file as \\name with the
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
52 appropriate replacements for the different export backends. The order
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
53 of the fields is he following
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
54
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
55 name As a string, without the leading backslash
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
56 LaTeX replacement In ready LaTeX, no further processing will take place
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
57 LaTeX mathp A Boolean, either t or nil. t if this entity needs
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
58 to be in math mode.
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
59 HTML replacement In ready HTML, no further processing will take place.
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
60 Usually this will be an &...; entity.
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
61 ASCII replacement Plain ASCII, no extensions. Symbols that cannot be
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
62 represented will be written out as an explanatory text.
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
63 But see the variable `org-entities-ascii-keep-macro-form'.
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
64 Latin1 replacement Use the special characters available in latin1.
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
65 utf-8 replacement Use special character available in utf-8.
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
66
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
67 If you define new entities here that require specific LaTeX packages to be
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
68 loaded, add these packages to `org-export-latex-packages-alist'."
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
69 :group 'org-entities
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
70 :type '(repeat
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
71 (list
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
72 (string :tag "name ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
73 (string :tag "LaTeX ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
74 (boolean :tag "Require LaTeX math?")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
75 (string :tag "HTML ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
76 (string :tag "ASCII ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
77 (string :tag "Latin1")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
78 (string :tag "utf-8 "))))
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
79
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
80 (defconst org-entities
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
81 '(("nbsp" "~" nil "&nbsp;" " " " " " ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
82 ("iexcl" "!`" nil "&iexcl;" "!" "¡" "¡")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
83 ("cent" "\\textcent{}" nil "&cent;" "cent" "¢" "¢")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
84 ("pound" "\\pounds{}" nil "&pound;" "pound" "£" "£")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
85 ("curren" "\\textcurrency{}" nil "&curren;" "curr." "¤" "¤")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
86 ("yen" "\\textyen{}" nil "&yen;" "yen" "¥" "¥")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
87 ("brvbar" "\\textbrokenbar{}" nil "&brvbar;" "|" "¦" "¦")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
88 ("vert" "\\vert{}" t "&#124;" "|" "|" "|")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
89 ("sect" "\\S" nil "&sect;" "paragraph" "§" "§")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
90 ("uml" "\\textasciidieresis{}" nil "&uml;" "[diaeresis]" "¨" "¨")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
91 ("copy" "\\textcopyright{}" nil "&copy;" "(c)" "©" "©")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
92 ("ordf" "\\textordfeminine{}" nil "&ordf;" "_a_" "ª" "ª")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
93 ("laquo" "\\guillemotleft{}" nil "&laquo;" "<<" "«" "«")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
94 ("not" "\\textlnot{}" nil "&not;" "[angled dash]" "¬" "¬")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
95 ("shy" "\\-" nil "&shy;" "" "" "")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
96 ("reg" "\\textregistered{}" nil "&reg;" "(r)" "®" "®")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
97 ("macr" "\\textasciimacron{}" nil "&macr;" "[macron]" "¯" "¯")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
98 ("deg" "\\textdegree{}" nil "deg" "degree" "°" "°")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
99 ("pm" "\\textpm{}" nil "&plusmn;" "+-" "±" "±")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
100 ("plusmn" "\\textpm{}" nil "&plusmn;" "+-" "±" "±")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
101 ("sup2" "\\texttwosuperior{}" nil "&sup2;" "^2" "²" "²")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
102 ("sup3" "\\textthreesuperior{}" nil "&sup3;" "^3" "³" "³")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
103 ("acutex" "\\acute x" t "&acute;x" "'x" "'x" "𝑥́")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
104 ("micro" "\\textmu{}" nil "&micro;" "micro" "µ" "µ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
105 ("para" "\\P{}" nil "&para;" "[pilcrow]" "¶" "¶")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
106 ("middot" "\\textperiodcentered{}" nil "&middot;" "." "·" "·")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
107 ("odot" "\\odot" t "o" "[circled dot]" "[circled dot]" "ʘ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
108 ("star" "\\star" t "*" "*" "*" "⋆")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
109 ("cedil" "\\c{}" nil "&cedil;" "[cedilla]" "¸" "¸")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
110 ("sup1" "\\textonesuperior{}" nil "&sup1;" "^1" "¹" "¹")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
111 ("ordm" "\\textordmasculine{}" nil "&ordm;" "_o_" "º" "º")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
112 ("raquo" "\\guillemotright{}" nil "&raquo;" ">>" "»" "»")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
113 ("iquest" "?`" nil "&iquest;" "?" "¿" "¿")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
114 ("Agrave" "\\`{A}" nil "&Agrave;" "A" "À" "À")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
115 ("Aacute" "\\'{A}" nil "&Aacute;" "A" "Á" "Á")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
116 ("Acirc" "\\^{A}" nil "&Acirc;" "A" "Â" "Â")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
117 ("Atilde" "\\~{A}" nil "&Atilde;" "A" "Ã" "Ã")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
118 ("Auml" "\\\"{A}" nil "&Auml;" "Ae" "Ä" "Ä")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
119 ("Aring" "\\AA{}" nil "&Aring;" "A" "Å" "Å")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
120 ("AA" "\\AA{}" nil "&Aring;" "A" "Å" "Å")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
121 ("AElig" "\\AE{}" nil "&AElig;" "AE" "Æ" "Æ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
122 ("Ccedil" "\\c{C}" nil "&Ccedil;" "C" "Ç" "Ç")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
123 ("Egrave" "\\`{E}" nil "&Egrave;" "E" "È" "È")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
124 ("Eacute" "\\'{E}" nil "&Eacute;" "E" "É" "É")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
125 ("Ecirc" "\\^{E}" nil "&Ecirc;" "E" "Ê" "Ê")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
126 ("Euml" "\\\"{E}" nil "&Euml;" "E" "Ë" "Ë")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
127 ("Igrave" "\\`{I}" nil "&Igrave;" "I" "Ì" "Ì")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
128 ("Iacute" "\\'{I}" nil "&Iacute;" "I" "Í" "Í")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
129 ("Icirc" "\\^{I}" nil "&Icirc;" "I" "Î" "Î")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
130 ("Iuml" "\\\"{I}" nil "&Iuml;" "I" "Ï" "Ï")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
131 ("ETH" "\\DH{}" nil "&ETH;" "D" "Ð" "Ð")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
132 ("Ntilde" "\\~{N}" nil "&Ntilde;" "N" "Ñ" "Ñ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
133 ("Ograve" "\\`{O}" nil "&Ograve;" "O" "Ò" "Ò")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
134 ("Oacute" "\\'{O}" nil "&Oacute;" "O" "Ó" "Ó")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
135 ("Ocirc" "\\^{O}" nil "&Ocirc;" "O" "Ô" "Ô")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
136 ("Otilde" "\\~{O}" nil "&Otilde;" "O" "Õ" "Õ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
137 ("Ouml" "\\\"{O}" nil "&Ouml;" "Oe" "Ö" "Ö")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
138 ("times" "\\texttimes{}" nil "&times;" "*" "×" "×")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
139 ("Oslash" "\\O" nil "&Oslash;" "O" "Ø" "Ø")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
140 ("Ugrave" "\\`{U}" nil "&Ugrave;" "U" "Ù" "Ù")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
141 ("Uacute" "\\'{U}" nil "&Uacute;" "U" "Ú" "Ú")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
142 ("Ucirc" "\\^{U}" nil "&Ucirc;" "U" "Û" "Û")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
143 ("Uuml" "\\\"{U}" nil "&Uuml;" "Ue" "Ü" "Ü")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
144 ("Yacute" "\\'{Y}" nil "&Yacute;" "Y" "Ý" "Ý")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
145 ("THORN" "\\TH{}" nil "&THORN;" "TH" "Þ" "Þ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
146 ("szlig" "\\ss{}" nil "&szlig;" "ss" "ß" "ß")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
147 ("agrave" "\\`{a}" nil "&agrave;" "a" "à" "à")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
148 ("aacute" "\\'{a}" nil "&aacute;" "a" "á" "á")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
149 ("acirc" "\\^{a}" nil "&acirc;" "a" "â" "â")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
150 ("atilde" "\\~{a}" nil "&atilde;" "a" "ã" "ã")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
151 ("auml" "\\\"{a}" nil "&auml;" "ae" "ä" "ä")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
152 ("aring" "\\aa{}" nil "&aring;" "a" "å" "å")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
153 ("aelig" "\\ae{}" nil "&aelig;" "ae" "æ" "æ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
154 ("ccedil" "\\c{c}" nil "&ccedil;" "c" "ç" "ç")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
155 ("checkmark" "\\checkmark" t "&#10003;" "[checkmark]" "[checkmark]" "✓")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
156 ("egrave" "\\`{e}" nil "&egrave;" "e" "è" "è")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
157 ("eacute" "\\'{e}" nil "&eacute;" "e" "é" "é")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
158 ("ecirc" "\\^{e}" nil "&ecirc;" "e" "ê" "ê")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
159 ("euml" "\\\"{e}" nil "&euml;" "e" "ë" "ë")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
160 ("igrave" "\\`{i}" nil "&igrave;" "i" "ì" "ì")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
161 ("iacute" "\\'{i}" nil "&iacute;" "i" "í" "í")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
162 ("icirc" "\\^{i}" nil "&icirc;" "i" "î" "î")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
163 ("iuml" "\\\"{i}" nil "&iuml;" "i" "ï" "ï")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
164 ("eth" "\\dh{}" nil "&eth;" "dh" "ð" "ð")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
165 ("ntilde" "\\~{n}" nil "&ntilde;" "n" "ñ" "ñ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
166 ("ograve" "\\`{o}" nil "&ograve;" "o" "ò" "ò")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
167 ("oacute" "\\'{o}" nil "&oacute;" "o" "ó" "ó")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
168 ("ocirc" "\\^{o}" nil "&ocirc;" "o" "ô" "ô")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
169 ("otilde" "\\~{o}" nil "&otilde;" "o" "õ" "õ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
170 ("ouml" "\\\"{o}" nil "&ouml;" "oe" "ö" "ö")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
171 ("oslash" "\\o{}" nil "&oslash;" "o" "ø" "ø")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
172 ("ugrave" "\\`{u}" nil "&ugrave;" "u" "ù" "ù")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
173 ("uacute" "\\'{u}" nil "&uacute;" "u" "ú" "ú")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
174 ("ucirc" "\\^{u}" nil "&ucirc;" "u" "û" "û")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
175 ("uuml" "\\\"{u}" nil "&uuml;" "ue" "ü" "ü")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
176 ("yacute" "\\'{y}" nil "&yacute;" "y" "ý" "ý")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
177 ("thorn" "\\th{}" nil "&thorn;" "th" "þ" "þ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
178 ("yuml" "\\\"{y}" nil "&yuml;" "y" "ÿ" "ÿ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
179 ("fnof" "\\textit{f}" nil "&fnof;" "f" "f" "ƒ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
180 ("Alpha" "A" nil "&Alpha;" "Alpha" "Alpha" "Α")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
181 ("Beta" "B" nil "&Beta;" "Beta" "Beta" "Β")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
182 ("Gamma" "\\Gamma" t "&Gamma;" "Gamma" "Gamma" "Γ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
183 ("Delta" "\\Delta" t "&Delta;" "Delta" "Gamma" "Δ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
184 ("Epsilon" "E" nil "&Epsilon;" "Epsilon" "Epsilon" "Ε")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
185 ("Zeta" "Z" nil "&Zeta;" "Zeta" "Zeta" "Ζ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
186 ("Eta" "H" nil "&Eta;" "Eta" "Eta" "Η")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
187 ("Theta" "\\Theta" t "&Theta;" "Theta" "Theta" "Θ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
188 ("Iota" "I" nil "&Iota;" "Iota" "Iota" "Ι")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
189 ("Kappa" "K" nil "&Kappa;" "Kappa" "Kappa" "Κ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
190 ("Lambda" "\\Lambda" t "&Lambda;" "Lambda" "Lambda" "Λ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
191 ("Mu" "M" nil "&Mu;" "Mu" "Mu" "Μ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
192 ("Nu" "N" nil "&Nu;" "Nu" "Nu" "Ν")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
193 ("Xi" "\\Xi" t "&Xi;" "Xi" "Xi" "Ξ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
194 ("Omicron" "O" nil "&Omicron;" "Omicron" "Omicron" "Ο")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
195 ("Pi" "\\Pi" t "&Pi;" "Pi" "Pi" "Π")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
196 ("Rho" "P" nil "&Rho;" "Rho" "Rho" "Ρ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
197 ("Sigma" "\\Sigma" t "&Sigma;" "Sigma" "Sigma" "Σ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
198 ("Tau" "T" nil "&Tau;" "Tau" "Tau" "Τ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
199 ("Upsilon" "\\Upsilon" t "&Upsilon;" "Upsilon" "Upsilon" "Υ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
200 ("Phi" "\\Phi" t "&Phi;" "Phi" "Phi" "Φ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
201 ("Chi" "X" nil "&Chi;" "Chi" "Chi" "Χ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
202 ("Psi" "\\Psi" t "&Psi;" "Psi" "Psi" "Ψ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
203 ("Omega" "\\Omega" t "&Omega;" "Omega" "Omega" "Ω")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
204 ("alpha" "\\alpha" t "&alpha;" "alpha" "alpha" "α")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
205 ("beta" "\\beta" t "&beta;" "beta" "beta" "β")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
206 ("gamma" "\\gamma" t "&gamma;" "gamma" "gamma" "γ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
207 ("delta" "\\delta" t "&delta;" "delta" "delta" "δ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
208 ("epsilon" "\\epsilon" t "&epsilon;" "epsilon" "epsilon" "ε")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
209 ("varepsilon" "\\varepsilon" t "&epsilon;" "varepsilon" "varepsilon" "ε")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
210 ("zeta" "\\zeta" t "&zeta;" "zeta" "zeta" "ζ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
211 ("eta" "\\eta" t "&eta;" "eta" "eta" "η")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
212 ("theta" "\\theta" t "&theta;" "theta" "theta" "θ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
213 ("iota" "\\iota" t "&iota;" "iota" "iota" "ι")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
214 ("kappa" "\\kappa" t "&kappa;" "kappa" "kappa" "κ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
215 ("lambda" "\\lambda" t "&lambda;" "lambda" "lambda" "λ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
216 ("mu" "\\mu" t "&mu;" "mu" "mu" "μ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
217 ("nu" "\\nu" t "&nu;" "nu" "nu" "ν")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
218 ("xi" "\\xi" t "&xi;" "xi" "xi" "ξ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
219 ("omicron" "\\textit{o}" nil "&omicron;" "omicron" "omicron" "ο")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
220 ("pi" "\\pi" t "&pi;" "pi" "pi" "π")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
221 ("rho" "\\rho" t "&rho;" "rho" "rho" "ρ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
222 ("sigmaf" "\\varsigma" t "&sigmaf;" "sigmaf" "sigmaf" "ς")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
223 ("varsigma" "\\varsigma" t "&sigmaf;" "varsigma" "varsigma" "ς")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
224 ("sigma" "\\sigma" t "&sigma;" "sigma" "sigma" "σ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
225 ("tau" "\\tau" t "&tau;" "tau" "tau" "τ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
226 ("upsilon" "\\upsilon" t "&upsilon;" "upsilon" "upsilon" "υ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
227 ("phi" "\\phi" t "&phi;" "phi" "phi" "φ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
228 ("chi" "\\chi" t "&chi;" "chi" "chi" "χ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
229 ("psi" "\\psi" t "&psi;" "psi" "psi" "ψ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
230 ("omega" "\\omega" t "&omega;" "omega" "omega" "ω")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
231 ("thetasym" "\\vartheta" t "&thetasym;" "theta" "theta" "ϑ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
232 ("vartheta" "\\vartheta" t "&thetasym;" "theta" "theta" "ϑ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
233 ("upsih" "\\Upsilon" t "&upsih;" "upsilon" "upsilon" "ϒ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
234 ("piv" "\\varpi" t "&piv;" "omega-pi" "omega-pi" "ϖ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
235 ("bull" "\\textbullet{}" nil "&bull;" "*" "*" "•")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
236 ("bullet" "\\textbullet{}" nil "&bull;" "*" "*" "•")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
237 ("hellip" "\\dots{}" nil "&hellip;" "..." "..." "…")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
238 ("dots" "\\dots{}" nil "&hellip;" "..." "..." "…")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
239 ("prime" "\\prime" t "&prime;" "'" "'" "′")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
240 ("Prime" "\\prime{}\\prime" t "&Prime;" "''" "''" "″")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
241 ("oline" "\\overline{~}" t "&oline;" "[overline]" "¯" "‾")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
242 ("frasl" "/" nil "&frasl;" "/" "/" "⁄")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
243 ("weierp" "\\wp" t "&weierp;" "P" "P" "℘")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
244 ("image" "\\Im" t "&image;" "I" "I" "ℑ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
245 ("real" "\\Re" t "&real;" "R" "R" "ℜ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
246 ("trade" "\\texttrademark{}" nil "&trade;" "TM" "TM" "™")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
247 ("alefsym" "\\aleph" t "&alefsym;" "aleph" "aleph" "ℵ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
248 ("larr" "\\leftarrow" t "&larr;" "<-" "<-" "←")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
249 ("leftarrow" "\\leftarrow" t "&larr;" "<-" "<-" "←")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
250 ("gets" "\\gets" t "&larr;" "<-" "<-" "←")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
251 ("uarr" "\\uparrow" t "&uarr;" "[uparrow]" "[uparrow]" "↑")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
252 ("uparrow" "\\uparrow" t "&uarr;" "[uparrow]" "[uparrow]" "↑")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
253 ("rarr" "\\rightarrow" t "&rarr;" "->" "->" "→")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
254 ("to" "\\to" t "&rarr;" "->" "->" "→")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
255 ("rightarrow" "\\rightarrow" t "&rarr;" "->" "->" "→")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
256 ("darr" "\\downarrow" t "&darr;" "[downarrow]" "[downarrow]" "↓")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
257 ("downarrow" "\\downarrow" t "&darr;" "[downarrow]" "[downarrow]" "↓")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
258 ("harr" "\\leftrightarrow" t "&harr;" "<->" "<->" "↔")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
259 ("leftrightarrow" "\\leftrightarrow" t "&harr;" "<->" "<->" "↔")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
260 ("crarr" "\\hookleftarrow" t "&crarr;" "<-'" "<-'" "↵")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
261 ("hookleftarrow" "\\hookleftarrow" t "&crarr;" "<-'" "<-'" "↵")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
262 ("lArr" "\\Leftarrow" t "&lArr;" "<=" "<=" "⇐")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
263 ("Leftarrow" "\\Leftarrow" t "&lArr;" "<=" "<=" "⇐")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
264 ("uArr" "\\Uparrow" t "&uArr;" "[dbluparrow]" "[dbluparrow]" "⇑")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
265 ("Uparrow" "\\Uparrow" t "&uArr;" "[dbluparrow]" "[dbluparrow]" "⇑")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
266 ("rArr" "\\Rightarrow" t "&rArr;" "=>" "=>" "⇒")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
267 ("Rightarrow" "\\Rightarrow" t "&rArr;" "=>" "=>" "⇒")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
268 ("dArr" "\\Downarrow" t "&dArr;" "[dbldownarrow]" "[dbldownarrow]" "⇓")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
269 ("Downarrow" "\\Downarrow" t "&dArr;" "[dbldownarrow]" "[dbldownarrow]" "⇓")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
270 ("hArr" "\\Leftrightarrow" t "&hArr;" "<=>" "<=>" "⇔")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
271 ("Leftrightarrow" "\\Leftrightarrow" t "&hArr;" "<=>" "<=>" "⇔")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
272 ("forall" "\\forall" t "&forall;" "[for all]" "[for all]" "∀")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
273 ("partial" "\\partial" t "&part;" "[partial differential]" "[partial differential]" "∂")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
274 ("exist" "\\exists" t "&exist;" "[there exists]" "[there exists]" "∃")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
275 ("exists" "\\exists" t "&exist;" "[there exists]" "[there exists]" "∃")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
276 ("empty" "\\empty" t "&empty;" "[empty set]" "[empty set]" "∅")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
277 ("emptyset" "\\emptyset" t "&empty;" "[empty set]" "[empty set]" "∅")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
278 ("nabla" "\\nabla" t "&nabla;" "[nabla]" "[nabla]" "∇")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
279 ("isin" "\\in" t "&isin;" "[element of]" "[element of]" "∈")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
280 ("in" "\\in" t "&isin;" "[element of]" "[element of]" "∈")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
281 ("notin" "\\notin" t "&notin;" "[not an element of]" "[not an element of]" "∉")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
282 ("ni" "\\ni" t "&ni;" "[contains as member]" "[contains as member]" "∋")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
283 ("prod" "\\prod" t "&prod;" "[product]" "[n-ary product]" "∏")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
284 ("sum" "\\sum" t "&sum;" "[sum]" "[sum]" "∑")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
285 ; ("minus" "\\minus" t "&minus;" "-" "-" "−")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
286 ("minus" "-" t "&minus;" "-" "-" "−")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
287 ("lowast" "\\ast" t "&lowast;" "*" "*" "∗")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
288 ("ast" "\\ast" t "&lowast;" "*" "*" "*")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
289 ("radic" "\\sqrt{\\,}" t "&radic;" "[square root]" "[square root]" "√")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
290 ("prop" "\\propto" t "&prop;" "[proportional to]" "[proportional to]" "∝")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
291 ("proptp" "\\propto" t "&prop;" "[proportional to]" "[proportional to]" "∝")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
292 ("infin" "\\propto" t "&infin;" "[infinity]" "[infinity]" "∞")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
293 ("infty" "\\infty" t "&infin;" "[infinity]" "[infinity]" "∞")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
294 ("ang" "\\angle" t "&ang;" "[angle]" "[angle]" "∠")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
295 ("angle" "\\angle" t "&ang;" "[angle]" "[angle]" "∠")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
296 ("and" "\\wedge" t "&and;" "[logical and]" "[logical and]" "∧")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
297 ("wedge" "\\wedge" t "&and;" "[logical and]" "[logical and]" "∧")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
298 ("or" "\\vee" t "&or;" "[logical or]" "[logical or]" "∨")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
299 ("vee" "\\vee" t "&or;" "[logical or]" "[logical or]" "∨")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
300 ("cap" "\\cap" t "&cap;" "[intersection]" "[intersection]" "∩")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
301 ("cup" "\\cup" t "&cup;" "[union]" "[union]" "∪")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
302 ("int" "\\int" t "&int;" "[integral]" "[integral]" "∫")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
303 ; ("there4" "\\uptherefore" t "&there4;" "[therefore]" "[therefore]" "∴")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
304 ("there4" "\\therefore" t "&there4;" "[therefore]" "[therefore]" "∴")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
305 ("sim" "\\sim" t "&sim;" "~" "~" "∼")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
306 ("cong" "\\cong" t "&cong;" "[approx. equal to]" "[approx. equal to]" "≅")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
307 ("simeq" "\\simeq" t "&cong;" "[approx. equal to]" "[approx. equal to]" "≅")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
308 ("asymp" "\\asymp" t "&asymp;" "[almost equal to]" "[almost equal to]" "≈")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
309 ("approx" "\\approx" t "&asymp;" "[almost equal to]" "[almost equal to]" "≈")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
310 ("ne" "\\ne" t "&ne;" "[not equal to]" "[not equal to]" "≠")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
311 ("neq" "\\neq" t "&ne;" "[not equal to]" "[not equal to]" "≠")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
312 ("equiv" "\\equiv" t "&equiv;" "[identical to]" "[identical to]" "≡")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
313 ("le" "\\le" t "&le;" "<=" "<=" "≤")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
314 ("ge" "\\ge" t "&ge;" ">=" ">=" "≥")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
315 ("sub" "\\subset" t "&sub;" "[subset of]" "[subset of]" "⊂")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
316 ("subset" "\\subset" t "&sub;" "[subset of]" "[subset of]" "⊂")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
317 ("sup" "\\supset" t "&sup;" "[superset of]" "[superset of]" "⊃")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
318 ("supset" "\\supset" t "&sup;" "[superset of]" "[superset of]" "⊃")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
319 ("nsub" "\\not\\subset" t "&nsub;" "[not a subset of]" "[not a subset of" "⊄")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
320 ("sube" "\\subseteq" t "&sube;" "[subset of or equal to]" "[subset of or equal to]" "⊆")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
321 ("supe" "\\supseteq" t "&supe;" "[superset of or equal to]" "[superset of or equal to]" "⊇")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
322 ("oplus" "\\oplus" t "&oplus;" "[circled plus]" "[circled plus]" "⊕")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
323 ("otimes" "\\otimes" t "&otimes;" "[circled times]" "[circled times]" "⊗")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
324 ("perp" "\\perp" t "&perp;" "[up tack]" "[up tack]" "⊥")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
325 ("sdot" "\\cdot" t "&sdot;" "[dot]" "[dot]" "⋅")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
326 ("cdot" "\\cdot" t "&sdot;" "[dot]" "[dot]" "⋅")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
327 ("lceil" "\\lceil" t "&lceil;" "[left ceiling]" "[left ceiling]" "⌈")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
328 ("rceil" "\\rceil" t "&rceil;" "[right ceiling]" "[right ceiling]" "⌉")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
329 ("lfloor" "\\lfloor" t "&lfloor;" "[left floor]" "[left floor]" "⌊")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
330 ("rfloor" "\\rfloor" t "&rfloor;" "[right floor]" "[right floor]" "⌋")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
331 ("lang" "\\langle" t "&lang;" "<" "<" "⟨")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
332 ("rang" "\\rangle" t "&rang;" ">" ">" "⟩")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
333 ("loz" "\\diamond" t "&loz;" "[lozenge]" "[lozenge]" "◊")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
334 ("Diamond" "\\diamond" t "&diamond;" "[diamond]" "[diamond]" "⋄")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
335 ("spades" "\\spadesuit" t "&spades;" "[spades]" "[spades]" "♠")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
336 ("spadesuit" "\\spadesuit" t "&spades;" "[spades]" "[spades]" "♠")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
337 ("clubs" "\\clubsuit" t "&clubs;" "[clubs]" "[clubs]" "♣")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
338 ("clubsuit" "\\clubsuit" t "&clubs;" "[clubs]" "[clubs]" "♣")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
339 ("hearts" "\\heartsuit" t "&hearts;" "[hearts]" "[hearts]" "♥")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
340 ("heartsuit" "\\heartsuit" t "&heartsuit;" "[hearts]" "[hearts]" "♥")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
341 ("diamondsuit" "\\diamondsuit" t "&diams;" "[diamonds]" "[diamonds]" "♦")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
342 ("diams" "\\diamondsuit" t "&diams;" "[diamonds]" "[diamonds]" "♦")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
343 ("smile" "\\smile" t "&#9786;" ":-)" ":-)" "⌣")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
344 ("blacksmile" "\\blacksmiley{}" nil "&#9787;" ":-)" ":-)" "☻")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
345 ("sad" "\\frownie{}" nil "&#9785;" ":-(" ":-(" "☹")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
346 ("quot" "\\textquotedbl{}" nil "&quot;" "\"" "\"" "\"")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
347 ("amp" "\\&" nil "&amp;" "&" "&" "&")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
348 ("lt" "\\textless{}" nil "&lt;" "<" "<" "<")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
349 ("gt" "\\textgreater{}" nil "&gt;" ">" ">" ">")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
350 ("OElig" "\\OE{}" nil "&OElig;" "OE" "OE" "Œ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
351 ("oelig" "\\oe{}" nil "&oelig;" "oe" "oe" "œ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
352 ("Scaron" "\\v{S}" nil "&Scaron;" "S" "S" "Š")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
353 ("scaron" "\\v{s}" nil "&scaron;" "s" "s" "š")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
354 ("Yuml" "\\\"{Y}" nil "&Yuml;" "Y" "Y" "Ÿ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
355 ("circ" "\\circ" t "&circ;" "^" "^" "ˆ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
356 ("tilde" "\\~{}" nil "&tilde;" "~" "~" "~")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
357 ("ensp" "\\hspace*{.5em}" nil "&ensp;" " " " " " ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
358 ("emsp" "\\hspace*{1em}" nil "&emsp;" " " " " " ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
359 ("thinsp" "\\hspace*{.2em}" nil "&thinsp;" " " " " " ")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
360 ("zwnj" "\\/{}" nil "&zwnj;" "" "" "‌")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
361 ("zwj" "" nil "&zwj;" "" "" "‍")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
362 ("lrm" "" nil "&lrm;" "" "" "‎")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
363 ("rlm" "" nil "&rlm;" "" "" "‏")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
364 ("ndash" "--" nil "&ndash;" "-" "-" "–")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
365 ("mdash" "---" nil "&mdash;" "--" "--" "—")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
366 ("lsquo" "\\textquoteleft{}" nil "&lsquo;" "`" "`" "‘")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
367 ("rsquo" "\\textquoteright{}" nil "&rsquo;" "'" "'" "’")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
368 ("sbquo" "\\quotesinglbase{}" nil "&sbquo;" "," "," "‚")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
369 ("ldquo" "\\textquotedblleft{}" nil "&ldquo;" "\"" "\"" "“")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
370 ("rdquo" "\\textquotedblright{}" nil "&rdquo;" "\"" "\"" "”")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
371 ("bdquo" "\\quotedblbase{}" nil "&bdquo;" "\"" "\"" "„")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
372 ("dagger" "\\textdagger{}" nil "&dagger;" "[dagger]" "[dagger]" "†")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
373 ("Dagger" "\\textdaggerdbl{}" nil "&Dagger;" "[doubledagger]" "[doubledagger]" "‡")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
374 ("permil" "\\textperthousand{}" nil "&permil;" "per thousand" "per thousand" "‰")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
375 ("lsaquo" "\\guilsinglleft{}" nil "&lsaquo;" "<" "<" "‹")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
376 ("rsaquo" "\\guilsinglright{}" nil "&rsaquo;" ">" ">" "›")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
377 ("euro" "\\texteuro{}" nil "&euro;" "EUR" "EUR" "€")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
378 ("EUR" "\\EUR{}" nil "&euro;" "EUR" "EUR" "€")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
379 ("EURdig" "\\EURdig{}" nil "&euro;" "EUR" "EUR" "€")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
380 ("EURhv" "\\EURhv{}" nil "&euro;" "EUR" "EUR" "€")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
381 ("EURcr" "\\EURcr{}" nil "&euro;" "EUR" "EUR" "€")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
382 ("EURtm" "\\EURtm{}" nil "&euro;" "EUR" "EUR" "€")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
383 ("arccos" "\\arccos" t "arccos" "arccos" "arccos" "arccos")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
384 ("arcsin" "\\arcsin" t "arcsin" "arcsin" "arcsin" "arcsin")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
385 ("arctan" "\\arctan" t "arctan" "arctan" "arctan" "arctan")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
386 ("arg" "\\arg" t "arg" "arg" "arg" "arg")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
387 ("cos" "\\cos" t "cos" "cos" "cos" "cos")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
388 ("cosh" "\\cosh" t "cosh" "cosh" "cosh" "cosh")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
389 ("cot" "\\cot" t "cot" "cot" "cot" "cot")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
390 ("coth" "\\coth" t "coth" "coth" "coth" "coth")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
391 ("csc" "\\csc" t "csc" "csc" "csc" "csc")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
392 ("deg" "\\deg" t "&deg;" "deg" "deg" "deg")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
393 ("det" "\\det" t "det" "det" "det" "det")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
394 ("dim" "\\dim" t "dim" "dim" "dim" "dim")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
395 ("exp" "\\exp" t "exp" "exp" "exp" "exp")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
396 ("gcd" "\\gcd" t "gcd" "gcd" "gcd" "gcd")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
397 ("hom" "\\hom" t "hom" "hom" "hom" "hom")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
398 ("inf" "\\inf" t "inf" "inf" "inf" "inf")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
399 ("ker" "\\ker" t "ker" "ker" "ker" "ker")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
400 ("lg" "\\lg" t "lg" "lg" "lg" "lg")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
401 ("lim" "\\lim" t "lim" "lim" "lim" "lim")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
402 ("liminf" "\\liminf" t "liminf" "liminf" "liminf" "liminf")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
403 ("limsup" "\\limsup" t "limsup" "limsup" "limsup" "limsup")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
404 ("ln" "\\ln" t "ln" "ln" "ln" "ln")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
405 ("log" "\\log" t "log" "log" "log" "log")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
406 ("max" "\\max" t "max" "max" "max" "max")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
407 ("min" "\\min" t "min" "min" "min" "min")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
408 ("Pr" "\\Pr" t "Pr" "Pr" "Pr" "Pr")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
409 ("sec" "\\sec" t "sec" "sec" "sec" "sec")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
410 ("sin" "\\sin" t "sin" "sin" "sin" "sin")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
411 ("sinh" "\\sinh" t "sinh" "sinh" "sinh" "sinh")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
412 ("sup" "\\sup" t "&sup;" "sup" "sup" "sup")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
413 ("tan" "\\tan" t "tan" "tan" "tan" "tan")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
414 ("tanh" "\\tanh" t "tanh" "tanh" "tanh" "tanh")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
415 ("frac12" "\\textonehalf{}" nil "&frac12;" "1/2" "½" "½")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
416 ("frac14" "\\textonequarter{}" nil "&frac14;" "1/4" "¼" "¼")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
417 ("frac34" "\\textthreequarters{}" nil "&frac34;" "3/4" "¾" "¾")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
418 ("div" "\\textdiv{}" nil "&divide;" "/" "÷" "÷")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
419 ("acute" "\\textasciiacute{}" nil "&acute;" "'" "´" "´")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
420 ("nsup" "\\not\\supset" t "&nsup;" "[not a superset of]" "[not a superset of]" "⊅")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
421 ("smiley" "\\smiley{}" nil "&#9786;" ":-)" ":-)" "☺")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
422 )
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
423 "Default entities used in Org-mode to preduce special characters.
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
424 For details see `org-entities-user'.")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
425
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
426 (defsubst org-entity-get (name)
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
427 "Get the proper association for NAME from the entity lists.
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
428 This first checks the user list, then the built-in list."
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
429 (or (assoc name org-entities-user)
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
430 (assoc name org-entities)))
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
431
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
432 (defun org-entity-get-representation (name kind)
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
433 "Get the correct representation of entity NAME for export type KIND.
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
434 Kind can be any of `latex', `html', `ascii', `latin1', or `utf8'."
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
435 (let* ((e (org-entity-get name))
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
436 (n (cdr (assq kind '((latex . 1) (html . 3) (ascii . 4)
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
437 (latin1 . 5) (utf8 . 6)))))
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
438 (r (and e n (nth n e))))
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
439 (if (and e r
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
440 (not org-entities-ascii-explanatory)
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
441 (memq kind '(ascii latin1 utf8))
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
442 (= (string-to-char r) ?\[))
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
443 (concat "\\" name)
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
444 r)))
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
445
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
446 (defsubst org-entity-latex-math-p (name)
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
447 "Does entity NAME require math mode in LaTeX?"
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
448 (nth 2 (org-entity-get name)))
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
449
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
450 ;; Helpfunctions to create a table for orgmode.org/worg/org-symbols.org
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
451
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
452 (defun org-entities-create-table ()
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
453 "Create an org-mode table with all entities."
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
454 (interactive)
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
455 (let ((ll org-entities)
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
456 (pos (point))
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
457 e latex mathp html latin utf8 name ascii)
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
458 (insert "|Name|LaTeX code|LaTeX|HTML code |HTML|ASCII|Latin1|UTF-8\n|-\n")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
459 (while ll
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
460 (setq e (pop ll))
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
461 (setq name (car e)
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
462 latex (nth 1 e)
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
463 mathp (nth 2 e)
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
464 html (nth 3 e)
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
465 ascii (nth 4 e)
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
466 latin (nth 5 e)
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
467 utf8 (nth 6 e))
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
468 (if (equal ascii "|") (setq ascii "\\vert"))
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
469 (if (equal latin "|") (setq latin "\\vert"))
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
470 (if (equal utf8 "|") (setq utf8 "\\vert"))
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
471 (if (equal ascii "=>") (setq ascii "= >"))
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
472 (if (equal latin "=>") (setq latin "= >"))
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
473 (insert "|" name
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
474 "|" (format "=%s=" latex)
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
475 "|" (format (if mathp "$%s$" "$\\mbox{%s}$")
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
476 latex)
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
477 "|" (format "=%s=" html) "|" html
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
478 "|" ascii "|" latin "|" utf8
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
479 "|\n"))
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
480 (goto-char pos)
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
481 (org-table-align)))
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
482
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
483 (defun replace-amp ()
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
484 "Postprocess HTML file to unescape the ampersant."
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
485 (interactive)
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
486 (while (re-search-forward "<td>&amp;\\([^<;]+;\\)" nil t)
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
487 (replace-match (concat "<td>&" (match-string 1)) t t)))
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
488
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
489 (provide 'org-entities)
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
490
109034
3bd67aa6b7e2 * lisp/org/org-entities.el: Add explicit utf-8 coding cookie.
Glenn Morris <rgm@gnu.org>
parents: 107863
diff changeset
491 ;; Local variables:
3bd67aa6b7e2 * lisp/org/org-entities.el: Add explicit utf-8 coding cookie.
Glenn Morris <rgm@gnu.org>
parents: 107863
diff changeset
492 ;; coding: utf-8
3bd67aa6b7e2 * lisp/org/org-entities.el: Add explicit utf-8 coding cookie.
Glenn Morris <rgm@gnu.org>
parents: 107863
diff changeset
493 ;; End:
107863
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
494
109034
3bd67aa6b7e2 * lisp/org/org-entities.el: Add explicit utf-8 coding cookie.
Glenn Morris <rgm@gnu.org>
parents: 107863
diff changeset
495 ;; arch-tag: e6bd163f-7419-4009-9c93-a74623016424
107863
594e81986a75 2010-04-10 Carsten Dominik <carsten.dominik@gmail.com>
Carsten Dominik <carsten.dominik@gmail.com>
parents:
diff changeset
496 ;;; org-entities.el ends here