2006-07-25から1日間の記事一覧

test

[tex:f*1=(c,d)] [tex:f*2\to(c\to d)] *1:a,b *2:a\to b