On Sun, Jan 6, 2013 at 12:24 AM, Eitan Postavsky
<eitanp32@gmail.com> wrote:
I tried to define {banbau} as metalanguage, but wasn't sure how to mark "b_1 is a metalanguage used by b_2 to talk about language
b_3" so that it's clear that the first two places are from the second
{bangu} and the third place is from the first {bangu}. I tried using
superscript ("b^2_1 is a metalanguage..."), but as you can see if you go
to http://jbovlaste.lojban.org/dict/banbau, there's this "mathend000#" garbage. What to do?
_______________________________________________
jbovlaste mailing list
jbovlaste@lojban.org
http://mail.lojban.org/mailman/listinfo/jbovlaste