お絵描き論理はてなブログ

$\newcommand{hyp}{\mbox{-}}$

$\xymatrix@R-2pc{ {copy, delete, merge,create} &*{\bullet} \\ {cons} &*{\blacktriangledown} \\ {decomp} &*{\blacktriangle} \\ {elim\hyp left} &*{\bar{\ulcorner}} \\ {elim\hyp right} &*{\bar{\urcorner}} \\ {intro\hyp left} &*{\underline{\llcorner}} \\ {intro\hyp right} &*{\underline{\lrcorner}} }$

(新) 檜山正幸のキマイラ飼育記メモ編

ヤクモノ＝ジャンクション・アイコン