# On charge la base de donnée de Compose la plus complète en UTF-8 include "/usr/share/X11/locale/en_US.UTF-8/Compose" ################### # Ensembles # ################### : "ℕ" U2115 : "ℤ" U2124 : "ℚ" U211A : "ℝ" U211D : "ℂ" U2102 : "ℍ" U210D

: "ℙ" U2119 : "⊂" U2282 : "⊃" U2283 : "⊄" U2284 : "⊅" U2285 : "⊄" U2284 : "⊅" U2285 : "⊆" U2286 : "⊇" U2287 : "⊈" U2288 : "⊉" U2289 : "⊈" U2288 : "⊉" U2289 ################################ # equality and relations # ################################ : "≣" U2263 : "≡" U2261 : "≅" U2245 : "≃" U2243 : "≈" U2248 : "≂" U2242 : "≝" U225D : "≗" U2257 : "≙" U2259 : "≚" U225A : "≛" U225B : "≜" U225C : "≜" U225C : "≞" U225E : "≟" U225F : "≠" U2260 : "≄" U2244 : "≇" U2247 : "≢" U2262 : "≥" U2265 : "≤" U2264 : "≳" U2273 : "≲" U2272 : "≪" U226A : "≫" U226B : "≶" U2276 : "≷" U2277 : "≱" U2271 : "≰" U2270 : "≵" U2275 : "≴" U2274 : "≸" U2278 : "≹" U2279 : "≯" U226F : "≮" U226E : "⊳" U22B3 : "⊲" U22B2 : "⊵" U22B5 : "⊴" U22B4 : "⋫" U22EB : "⋪" U22EA : "⋭" U22ED : "⋬" U22EC : "⋗" U22D7 : "⋖" U22D6 : "∥" U2225 : "∦" U2226 : "∤" U2224 ################# # Flèches # ################# : "→" U2192 # déjà présent de base : "←" U2190 # consistent with equal-less : "↑" U2191 : "↓" U2193 : "↔" U2194 : "⇒" U21D2 : "⇐" U21D0 # less equal is taken : "⇑" U21D1 : "⇓" U21D3 : "⇑" U21D1 : "⇓" U21D3 : "⇔" U21D4 ########################### # Opérateurs divers # ########################### #slash-o, period-o, etc already taken => use o-slash, etc : "⊕" U2295 : "⊝" U229D : "⊛" U229B : "⊘" U2298 : "⊗" U2297 : "⊚" U229A : "⊙" U2299 : "⊜" U229C : "√" U221A <2> : "√" U221A <3> : "∛" U221B <4> : "∜" U221C : "∗" U2217 : "×" multiply : "·" periodcentered : "∘" U2218 # <> <> : "" U # LaTeX commands # Partially started in another file