Nantes Université

Skip to content
Extraits de code Groupes Projets
Valider a05a58e7 rédigé par ayushkumarshah's avatar ayushkumarshah
Parcourir les fichiers

Modify mathMLMap.csv labels from \label to &label; 

Add infty_to_crohme.csv with mappings from infty to crohme symbol and
edge labels with additional mathml labels
parent 12335d27
Aucune branche associée trouvée
Aucune étiquette associée trouvée
Aucune requête de fusion associée trouvée
Masquer les modifications d'espaces
En ligne Côte à côte
translate/infty_to_crohme.csv 0 → 100644
+ 180
− 0
Voir le fichier @ a05a58e7
# Symbol label and relationship label mappings from INFTY to CROHME
SYMBOLS
zero,0
one,1
two,2
three,3
four,4
five,5
six,6
seven,7
eight,8
nine,9
BigLeftPar,[
BigRightPar,]
Delta,\Delta
LeftPar,(
MiddleLeftPar,{
MiddleRightPar,}
Pi,\Pi
RightPar,)
Sigma,Sigma
alpha,\alpha
backslash,\
beta,\beta
bigcap,\cap
bigcup,\cup
cap,\cap
comma,COMMA
cup,\cup
dot,.
equal,=
exclamation,!
exists,\exists
forall,\forall
gamma,\gamma
geq,\geq
greater,\gt
in,\in
infty,\infty
int,\int
lambda,\lambda
ldots,\ldots
leq,\leq
less,\lt
minus,-
mu,\mu
notequal,\neq
omega,\omega
partial,\partial
phi,\phi
pi,\pi
plus,+
pm,\pm
prime,\prime
psi,\psi
question,?
rangle,\gt
rightarrow,\rightarrow
semicolon,;
sigma,\sigma
slash,/
sqrt,\sqrt
subset,\subset
sum,\sum
supset,\supset
theta,\theta
times,\times
varphi,\phi
vartheta,\theta
wedge,\wedge
# Not available in mathMLMap
Psi,Ψ
Gamma,Γ
Lambda,Λ
Omega,Ω
Phi,Φ
Rightarrow,⇒
Subset,⋐
Theta,Θ
delta,δ
epsilon,ε
langle,⟨
subseteq,⊆
tau,τ
Acirc,Â
Leftrightarrow,⇔
Oslash,Ø
approx,≈
ast,*
bigoplus,⨁
bigotimes,⨂
check,✓
chi,χ
circ,ˆ
colon,:
cong,≅
downarrow,↓
emptyset,∅
equiv,≡
eta,η
geqq,≧
gg,≫
hookrightarrow,↪
iota,ι
kappa,κ
lceil,⌈
leftarrow,←
leqq,≦
ll,≪
mapsto,↦
nabla,∇
ni,∋
nmid,∤
notin,∉
nu,ν
oint,∮
ominus,⊖
oplus,⊕
otimes,⊗
perp,⊥
prec,≺
prod,∏
rceil,⌉
rho,ρ
sharp,♯
sim,∼
simeq,≃
succ,≻
supseteq,⊇
tilde,˜
triangle,▵
upsilon,υ
vert,\vert
xi,ξ
zeta,ζ
# Not available in mathMLMap and mathML
# Ahat
# D
# DoubleBeginQuartation
# J
# K
# NULL
# O
# Q
# Reject1
# Reject2
# Reject3
# SingleEndQuartation
# U
# W
# Z
# doubleprime
# fi
# hat
# ihat
# iint
# longHyphen
# notequiv
# notsimeq
# notsubset
# subsetnoteqq
# supsetnoteqq
# tripleprime
# ttilde
# underbrace
# underline
# vec
# _
RELATIONSHIPS
RSUP,Sup
HORIZONTAL,Right
RSUB,Sub
UNDER,Below
LSUB,Sub
UPPER,Above
LSUP,Sup
PUNC,Right
translate/mathMLMap.csv
+ 113
− 113
Voir le fichier @ a05a58e7
...@@ -83,133 +83,133 @@ Y,->,<mi xml:id=_I_>Y</mi> ...@@ -83,133 +83,133 @@ Y,->,<mi xml:id=_I_>Y</mi>
9,->,<mn xml:id=_I_>9</mn> 9,->,<mn xml:id=_I_>9</mn>
# Greek Letters # Greek Letters
\alpha,->,<mi xml:id=_I_>\alpha</mi> \alpha,->,<mi xml:id=_I_>&alpha;</mi>
\beta,->,<mi xml:id=_I_>\beta</mi> \beta,->,<mi xml:id=_I_>&beta;</mi>
\gamma,->,<mi xml:id=_I_>\gamma</mi> \gamma,->,<mi xml:id=_I_>&gamma;</mi>
\lambda,->,<mi xml:id=_I_>\lambda</mi> \lambda,->,<mi xml:id=_I_>&lambda;</mi>
\omega,->,<mi xml:id=_I_>\omega</mi> \omega,->,<mi xml:id=_I_>&omega;</mi>
\phi,->,<mi xml:id=_I_>\phi</mi> \phi,->,<mi xml:id=_I_>&phi;</mi>
# **Mapping upper and lower case pi to lower case. # **Mapping upper and lower case pi to lower case.
\pi,->,<mi xml:id=_I_>\pi</mi> \pi,->,<mi xml:id=_I_>&pi;</mi>
\Pi,->,<mi xml:id=_I_>\pi</,mi> \Pi,->,<mi xml:id=_I_>&pi;</,mi>
\theta,->,<mi xml:id=_I_>\theta</mi> \theta,->,<mi xml:id=_I_>&theta;</mi>
\sigma,->,<mi xml:id=_I_>\sigma</mi> \sigma,->,<mi xml:id=_I_>&sigma;</mi>
\mu,->,<mi xml:id=_I_>\mu</mi> \mu,->,<mi xml:id=_I_>&mu;</mi>
\Delta,->,<mi xml:id=_I_>\Delta</mi> \Delta,->,<mi xml:id=_I_>&Delta;</mi>
alpha,->,<mi xml:id=_I_>\alpha</mi> alpha,->,<mi xml:id=_I_>&alpha;</mi>
beta,->,<mi xml:id=_I_>\beta</mi> beta,->,<mi xml:id=_I_>&beta;</mi>
gamma,->,<mi xml:id=_I_>\gamma</mi> gamma,->,<mi xml:id=_I_>&gamma;</mi>
lambda,->,<mi xml:id=_I_>\lambda</mi> lambda,->,<mi xml:id=_I_>&lambda;</mi>
omega,->,<mi xml:id=_I_>\omega</mi> omega,->,<mi xml:id=_I_>&omega;</mi>
phi,->,<mi xml:id=_I_>\phi</mi> phi,->,<mi xml:id=_I_>&phi;</mi>
pi,->,<mi xml:id=_I_>\pi</mi> pi,->,<mi xml:id=_I_>&pi;</mi>
Pi,->,<mi xml:id=_I_>\pi</mi> Pi,->,<mi xml:id=_I_>&pi;</mi>
# NOTE: tau, psi, epsilon, Pi are not in CROHME 2013 # NOTE: tau, psi, epsilon, Pi are not in CROHME 2013
#tau,->,<mi xml:id=_I_>\tau</mi> #tau,->,<mi xml:id=_I_>&tau;</mi>
#psi,->,<mi xml:id=_I_>\psi</mi> #psi,->,<mi xml:id=_I_>&psi;</mi>
#epsilon,->,<mi xml:id=_I_>\epsilon</mi> #epsilon,->,<mi xml:id=_I_>&epsilon;</mi>
#Pi,->,<mi xml:id=_I_>\Pi</mi> #Pi,->,<mi xml:id=_I_>&Pi;</mi>
theta,->,<mi xml:id=_I_>\theta</mi> theta,->,<mi xml:id=_I_>&theta;</mi>
#Theta,->,<mi xml:id=_I_>\theta</mi> #Theta,->,<mi xml:id=_I_>&theta;</mi>
sigma,->,<mi xml:id=_I_>\sigma</mi> sigma,->,<mi xml:id=_I_>&sigma;</mi>
mu,->,<mi xml:id=_I_>\mu</mi> mu,->,<mi xml:id=_I_>&mu;</mi>
Delta,->,<mi xml:id=_I_>\Delta</mi> Delta,->,<mi xml:id=_I_>&Delta;</mi>
# Other quantities/spaces # Other quantities/spaces
\infty,->,<mi xml:id=_I_>\infty</mi> \infty,->,<mi xml:id=_I_>&infin;</mi>
infin,->,<mi xml:id=_I_>\infty</mi> infin,->,<mi xml:id=_I_>&infin;</mi>
infinity,->,<mi xml:id=_I_>\infty</mi> infinity,->,<mi xml:id=_I_>&infin;</mi>
\Real,->,<mi xml:id=_I_>\Real</mi> \Real,->,<mi xml:id=_I_>&Real;</mi>
infty,->,<mi xml:id=_I_>\infty</mi> infty,->,<mi xml:id=_I_>&infin;</mi>
Real,->,<mi xml:id=_I_>\Real</mi> Real,->,<mi xml:id=_I_>&Real;</mi>
# Arithmetic Operators # Arithmetic Operators
+,->,<mo xml:id=_I_>+</mo> +,->,<mo xml:id=_I_>+</mo>
-,->,<mo xml:id=_I_>-</mo> -,->,<mo xml:id=_I_>-</mo>
horizontal-line,->,<mo xml:id=_I_>-</mo> horizontal-line,->,<mo xml:id=_I_>-</mo>
\pm,->,<mo xml:id=_I_>\pm</mo> \pm,->,<mo xml:id=_I_>&pm;</mo>
\div,->,<mo xml:id=_I_>\div</mo> \div,->,<mo xml:id=_I_>&div;</mo>
!,->,<mo xml:id=_I_>!</mo> !,->,<mo xml:id=_I_>!</mo>
\times,->,<mo xml:id=_I_>\times</mo> \times,->,<mo xml:id=_I_>&times;</mo>
/,->,<mo xml:id=_I_>/</mo> /,->,<mo xml:id=_I_>/</mo>
\ast,->,<mo xml:id=_I_>\ast</mo> \ast,->,<mo xml:id=_I_>&ast;</mo>
plus,->,<mo xml:id=_I_>+</mo> plus,->,<mo xml:id=_I_>+</mo>
minus,->,<mo xml:id=_I_>-</mo> minus,->,<mo xml:id=_I_>-</mo>
pm,->,<mo xml:id=_I_>\pm</mo> pm,->,<mo xml:id=_I_>&pm;</mo>
div,->,<mo xml:id=_I_>\div</mo> div,->,<mo xml:id=_I_>&div;</mo>
# **Disinguish 'times' from X? [Not initially.] # **Disinguish 'times' from X? [Not initially.]
times,->,<mo xml:id=_I_>\times</mo> times,->,<mo xml:id=_I_>&times;</mo>
ast,->,<mo xml:id=_I_>\ast</mo> ast,->,<mo xml:id=_I_>&ast;</mo>
# Logical Operators # Logical Operators
\wedge,->,<mo xml:id=_I_>\wedge</mo> \wedge,->,<mo xml:id=_I_>&wedge;</mo>
\vee,->,<mo xml:id=_I_>\vee</mo> \vee,->,<mo xml:id=_I_>&vee;</mo>
\rightarrow,->,<mo xml:id=_I_>\rightarrow</mo> \rightarrow,->,<mo xml:id=_I_>&rightarrow;</mo>
\supset,->,<mo xml:id=_I_>\supset</mo> \supset,->,<mo xml:id=_I_>&supset;</mo>
\subset,->,<mo xml:id=_I_>\subset</mo> \subset,->,<mo xml:id=_I_>&subset;</mo>
|,->,<mo xml:id=_I_>|</mo> |,->,<mo xml:id=_I_>|</mo>
\forall,->,<mo xml:id=_I_>\forall</mo> \forall,->,<mo xml:id=_I_>&forall;</mo>
\exists,->,<mo xml:id=_I_>\exists</mo> \exists,->,<mo xml:id=_I_>&exist;</mo>
wedge,->,<mo xml:id=_I_>\wedge</mo> wedge,->,<mo xml:id=_I_>&wedge;</mo>
vee,->,<mo xml:id=_I_>\vee</mo> vee,->,<mo xml:id=_I_>&vee;</mo>
rightarrow,->,<mo xml:id=_I_>\rightarrow</mo> rightarrow,->,<mo xml:id=_I_>&rightarrow;</mo>
supset,->,<mo xml:id=_I_>\supset</mo> supset,->,<mo xml:id=_I_>&supset;</mo>
subset,->,<mo xml:id=_I_>\subset</mo> subset,->,<mo xml:id=_I_>&subset;</mo>
forall,->,<mo xml:id=_I_>\forall</mo> forall,->,<mo xml:id=_I_>&forall;</mo>
exists,->,<mo xml:id=_I_>\exists</mo> exists,->,<mo xml:id=_I_>&exist;</mo>
# Misc # Misc
prime,->,<mo xml:id=_I_>\'</mo> prime,->,<mo xml:id=_I_>\'</mo>
\',->,<mo xml:id=_I_>\'</mo> \',->,<mo xml:id=_I_>\'</mo>
# Calculus # Calculus
\partial,->,<mo xml:id=_I_>\partial</mo> \partial,->,<mo xml:id=_I_>&part;</mo>
partial,->,<mo xml:id=_I_>\partial</mo> partial,->,<mo xml:id=_I_>&part;</mo>
# Set operations # Set operations
\cup,->,<mo xml:id=_I_>\cup</mo> \cup,->,<mo xml:id=_I_>&cup;</mo>
\cap,->,<mo xml:id=_I_>\cap</mo> \cap,->,<mo xml:id=_I_>&cap;</mo>
\in,->,<mo xml:id=_I_>\in</mo> \in,->,<mo xml:id=_I_>&in;</mo>
cup,->,<mo xml:id=_I_>\cup</mo> cup,->,<mo xml:id=_I_>&cup;</mo>
cap,->,<mo xml:id=_I_>\cap</mo> cap,->,<mo xml:id=_I_>&cap;</mo>
in,->,<mo xml:id=_I_>\in</mo> in,->,<mo xml:id=_I_>&in;</mo>
# Functions and Relations # Functions and Relations
\log,->,<mi xml:id=_I_>\log</mi> \log,->,<mi xml:id=_I_>&log;</mi>
\sin,->,<mi xml:id=_I_>\sin</mi> \sin,->,<mi xml:id=_I_>&sin;</mi>
\cos,->,<mi xml:id=_I_>\cos</mi> \cos,->,<mi xml:id=_I_>&cos;</mi>
\tan,->,<mi xml:id=_I_>\tan</mi> \tan,->,<mi xml:id=_I_>&tan;</mi>
\neq,->,<mi xml:id=_I_>\neq</mi> \neq,->,<mi xml:id=_I_>&ne;</mi>
\leq,->,<mi xml:id=_I_>\leq</mi> \leq,->,<mi xml:id=_I_>&leq;</mi>
\geq,->,<mi xml:id=_I_>\geq</mi> \geq,->,<mi xml:id=_I_>&geq;</mi>
=,->,<mo xml:id=_I_>=</mo> =,->,<mo xml:id=_I_>=</mo>
equals,->,<mo xml:id=_I_>=</mo> equals,->,<mo xml:id=_I_>=</mo>
# !! Note: we have synonymns here; mapping to same MathML objects. # !! Note: we have synonymns here; mapping to same MathML objects.
<,->,<mo xml:id=_I_>\lt</mo> <,->,<mo xml:id=_I_>&lt;</mo>
>,->,<mo xml:id=_I_>\gt</mo> >,->,<mo xml:id=_I_>&gt;</mo>
\lt,->,<mo xml:id=_I_>\lt</mo> \lt,->,<mo xml:id=_I_>&lt;</mo>
&lt;,->,<mo xml:id=_I_>\lt</mo> &lt;,->,<mo xml:id=_I_>&lt;</mo>
\gt,->,<mo xml:id=_I_>\gt</mo> \gt,->,<mo xml:id=_I_>&gt;</mo>
&gt;,->,<mo xml:id=_I_>\gt</mo> &gt;,->,<mo xml:id=_I_>&gt;</mo>
log,->,<mi xml:id=_I_>\log</mi> log,->,<mi xml:id=_I_>&log;</mi>
sin,->,<mi xml:id=_I_>\sin</mi> sin,->,<mi xml:id=_I_>&sin;</mi>
cos,->,<mi xml:id=_I_>\cos</mi> cos,->,<mi xml:id=_I_>&cos;</mi>
tan,->,<mi xml:id=_I_>\tan</mi> tan,->,<mi xml:id=_I_>&tan;</mi>
eq,->,<mo xml:id=_I_>=</mo> eq,->,<mo xml:id=_I_>=</mo>
neq,->,<mi xml:id=_I_>\neq</mi> neq,->,<mi xml:id=_I_>&ne;</mi>
ne,->,<mi xml:id=_I_>\neq</mi> ne,->,<mi xml:id=_I_>&ne;</mi>
leq,->,<mi xml:id=_I_>\leq</mi> leq,->,<mi xml:id=_I_>&leq;</mi>
geq,->,<mi xml:id=_I_>\geq</mi> geq,->,<mi xml:id=_I_>&geq;</mi>
ge,->,<mi xml:id=_I_>\geq</mi> ge,->,<mi xml:id=_I_>&geq;</mi>
lt,->,<mo xml:id=_I_>\lt</mo> lt,->,<mo xml:id=_I_>&lt;</mo>
gt,->,<mo xml:id=_I_>\gt</mo> gt,->,<mo xml:id=_I_>&gt;</mo>
# Punctuation and Elipsis # Punctuation and Elipsis
...@@ -221,11 +221,11 @@ dot,->,<mo xml:id=_I_>.</mo> ...@@ -221,11 +221,11 @@ dot,->,<mo xml:id=_I_>.</mo>
cdot,->,<mo xml:id=_I_>.</mo> cdot,->,<mo xml:id=_I_>.</mo>
ctdot,->,<mo xml:id=_I_>.</mo> ctdot,->,<mo xml:id=_I_>.</mo>
\cdot,->,<mo xml:id=_I_>.</mo> \cdot,->,<mo xml:id=_I_>.</mo>
\ldots,->,<mo xml:id=_I_>\ldots</mo> \ldots,->,<mo xml:id=_I_>…</mo>
\cdots,->,<mo xml:id=_I_>\cdots</mo> \cdots,->,<mo xml:id=_I_>⋯</mo>
ldots,->,<mo xml:id=_I_>\ldots</mo> ldots,->,<mo xml:id=_I_>…</mo>
cdots,->,<mo xml:id=_I_>\cdots</mo> cdots,->,<mo xml:id=_I_>⋯</mo>
# Fence symbols (square and angle brackets, parentheses, braces) # Fence symbols (square and angle brackets, parentheses, braces)
(,->,<mo xml:id=_I_>(</mo> (,->,<mo xml:id=_I_>(</mo>
...@@ -237,10 +237,10 @@ left-paren,->,<mo xml:id=_I_>(</mo> ...@@ -237,10 +237,10 @@ left-paren,->,<mo xml:id=_I_>(</mo>
rparen,->,<mo xml:id=_I_>)</mo> rparen,->,<mo xml:id=_I_>)</mo>
right-paren,->,<mo xml:id=_I_>)</mo> right-paren,->,<mo xml:id=_I_>)</mo>
\{,->,<mo xml:id=_I_>\{</mo> \{,->,<mo xml:id=_I_>{</mo>
\},->,<mo xml:id=_I_>\}</mo> \},->,<mo xml:id=_I_>}</mo>
{,->,<mo xml:id=_I_>\}</mo> {,->,<mo xml:id=_I_>{</mo>
},->,<mo xml:id=_I_>\}</mo> },->,<mo xml:id=_I_>}</mo>
[,->,<mo xml:id=_I_>[</mo> [,->,<mo xml:id=_I_>[</mo>
\[,->,<mo xml:id=_I_>[</mo> \[,->,<mo xml:id=_I_>[</mo>
...@@ -252,27 +252,27 @@ left-bracket,->,<mo xml:id=_I_>[</mo> ...@@ -252,27 +252,27 @@ left-bracket,->,<mo xml:id=_I_>[</mo>
rbracket,->,<mo xml:id=_I_>]</mo> rbracket,->,<mo xml:id=_I_>]</mo>
right-bracket,->,<mo xml:id=_I_>]</mo> right-bracket,->,<mo xml:id=_I_>]</mo>
# **Distinguishing from < and > ? [Not initially (RZ)] # **Distinguishing from < and > ? [Not initially (RZ)]
\langle,->,<mo xml:id=_I_>\lt</mo> \langle,->,<mo xml:id=_I_>&lt;</mo>
\rangle,->,<mo xml:id=_I_>\gt</mo> \rangle,->,<mo xml:id=_I_>&gt;</mo>
# Operators with optional limits # Operators with optional limits
\sum,->,<mo xml:id=_I_>\sum</mo> \sum,->,<mo xml:id=_I_>&sum;</mo>
\int,->,<mo xml:id=_I_>\int</mo> \int,->,<mo xml:id=_I_>&int;</mo>
\lim,->,<mi xml:id=_I_>\lim</mi> \lim,->,<mi xml:id=_I_>lim</mi>
sum,->,<mo xml:id=_I_>\sum</mo> sum,->,<mo xml:id=_I_>&sum;</mo>
int,->,<mo xml:id=_I_>\int</mo> int,->,<mo xml:id=_I_>&int;</mo>
lim,->,<mi xml:id=_I_>\lim</mi> lim,->,<mi xml:id=_I_>lim;</mi>
# RZ: Addition (March 13) # RZ: Addition (March 13)
Sigma,->,<mo xml:id=_I_>\sum</mo> Sigma,->,<mo xml:id=_I_>&sum;</mo>
Integral,->,<mo xml:id=_I_>\int</mo> Integral,->,<mo xml:id=_I_>&int;</mo>
integral,->,<mo xml:id=_I_>\int</mo> integral,->,<mo xml:id=_I_>&int;</mo>
# ?? Treating prime (e.g. ' in a') as superscript relative to base. # ?? Treating prime (e.g. ' in a') as superscript relative to base.
\prime,->,<mo xml:id=_I_>\prime</mo> \prime,->,<mo xml:id=_I_>&prime;</mo>
prime,->,<mo xml:id=_I_>\prime</mo> prime,->,<mo xml:id=_I_>&prime;</mo>
',->,<mo xml:id=_I_>\prime</mo> ',->,<mo xml:id=_I_>&prime;</mo>
# Empty square root. # Empty square root.
\sqrt,->,<msqrt xml:id=_I_></msqrt> \sqrt,->,<msqrt xml:id=_I_></msqrt>
......
0% ou .
You are about to add 0 people to the discussion. Proceed with caution.
Terminez d'abord l'édition de ce message.
Veuillez vous inscrire ou vous pour commenter