oh yeah. Their solution: use greek scripts/bold/overlined/underlined/overarowed symbols if you run out of letters.