Talk:Subformula

[ fixed ] counter -productive, or just productive? --Wjl 01:09, 8 November 2007 (EST)

do tensor and oplus look awful in anybody else's font? is there anything that can be done to make them look nicer? ("use a different font", i suppose...) --Wjl 13:45, 8 November 2007 (EST)
 * taken to the Community Portal - I'm willing to adopt the Twelf Wiki solution here. Rsimmons 14:52, 8 November 2007 (EST)