Any other complaints in the current system of ASCII names?
Wuzzy suggested {canlu bu} for "space" which is now included into the system.
"/" is now {fe'i bu}.
http://mw.lojban.org/papri/ASCII_table_keys_names
I'd like these names to be made official.
On Thursday, May 7, 2015 at 10:12:11 PM UTC+3, la gleki wrote:
oh and more note. given that space is almost always sufficient to separate words from each other maybe {valsi bu} for space will fit better? Even for {coi zei coi} we understand that both {coi} and {zei} are words.
because indeed {kunti bu} looks extremely hackish. not a very kunti symbol.
2015-05-07 22:08 GMT+03:00 Gleki Arxokuna
<gleki.is.my.name@gmail.com>:
2015-05-07 20:56 GMT+03:00 Michael Turniansky <mturniansky@gmail.com>:
I must admit I was surprised when I saw ASCII 32 being called "kunti bu" rather than "sepli bu" I thought we agreed on that back in 2000 ( see
http://mail.lojban.org/lojban-list/msg14141.html for example), although the former seems to have been in use since around 2010 or so, so I guess that's the more "stylish" name for you ki'orna'apre. (Although I probably would have used "kunti bu" for ASCII 0. Null seems more empty to me than space does).
{sepli bu} alone for "space" may be fine but when you compare it to "tab" then "tab" may seem more mapti to "fixed space, i.e. separator, because in many cases tab is used to e.g. separate columns of table.
{sotkunti bu} seems strange since "few" is not a precise number whereas "tab" takes fixed space.
Also wondering if there was any reason why you left the upper case letters blank rather than "ga'e a bu [to'a]" etc....
laziness. feel free to fill.
On a completely sepli OT note, don't confuse sepli.bu with se.plibu (lo stuzi be me'o denpa bu cu vajni )
--gejyspa
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.