読者です 読者をやめる 読者になる 読者になる

ド・モルガンの法則

数学 LaTeX


のようなのは、LaTeX や mathTeXでは、

<img src="http://www.forkosh.com/mathtex.cgi?\overline{A \cap B} = \overline{A} \cup \overline{B}">


のように書きますが、ユニコードではどうやって書くのだろうか。


A̅∩̅B̅ = A̅∪B̅


あまり美しくないけどできてますね。ブラウザやフォントによって見え方が違うかもしれない。
ユニコードでは、U+300 - U+036F にcombining diacritic marks というエリアがあって、文字の後につけるとその直前の文字に重なる文字の定義がされています。その中に、U+0305 Overline というのがあったので使ってみました。LaTeX も Overline なのでたぶん間違いないと思います。


実験中
U+300 => à
U+301 => á
U+302 => â
U+303 => ã
U+304 => ā
U+305 => a̅
U+306 => ă
U+307 => ȧ
U+308 => ä
U+309 => ả
U+30A => å
U+30B => a̋
U+30C => ǎ
U+30D => a̍
U+30E => a̎
U+30F => ȁ
U+310 => a̐
U+311 => ȃ
U+312 => a̒
U+313 => a̓
U+314 => a̔
U+315 => a̕
U+316 => a̖
U+317 => a̗
U+318 => a̘
U+319 => a̙
U+31A => a̚
U+31B => a̛
U+31C => a̜
U+31D => a̝
U+31E => a̞
U+31F => a̟
U+320 => a̠
U+321 => a̡
U+322 => a̢
U+323 => ạ
U+324 => a̤
U+325 => ḁ
U+326 => a̦
U+327 => a̧
U+328 => ą
U+329 => a̩
U+32A => a̪
U+32B => a̫
U+32C => a̬
U+32D => a̭
U+32E => a̮
U+32F => a̯
U+330 => a̰
U+331 => a̱
U+332 => a̲
U+333 => a̳
U+334 => a̴
U+335 => a̵
U+336 => a̶
U+337 => a̷
U+338 => a̸
U+339 => a̹
U+33A => a̺
U+33B => a̻
U+33C => a̼
U+33D => a̽
U+33E => a̾
U+33F => a̿
U+340 => à
U+341 => á
U+342 => a͂
U+343 => a̓
U+344 => ä́
U+345 => aͅ
U+346 => a͆
U+347 => a͇
U+348 => a͈
U+349 => a͉
U+34A => a͊
U+34B => a͋
U+34C => a͌
U+34D => a͍
U+34E => a͎
U+34F => a͏
U+350 => a͐
U+351 => a͑
U+352 => a͒
U+353 => a͓
U+354 => a͔
U+355 => a͕
U+356 => a͖
U+357 => a͗
U+358 => a͘
U+359 => a͙
U+35A => a͚
U+35B => a͛
U+35C => a͜
U+35D => a͝
U+35E => a͞
U+35F => a͟
U+360 => a͠
U+361 => a͡
U+362 => a͢
U+363 => aͣ
U+364 => aͤ
U+365 => aͥ
U+366 => aͦ
U+367 => aͧ
U+368 => aͨ
U+369 => aͩ
U+36A => aͪ
U+36B => aͫ
U+36C => aͬ
U+36D => aͭ
U+36E => aͮ
U+36F => aͯ