ド・モルガンの法則


のようなのは、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ͯ