User blog comment:LittlePeng9/First order oodle theory/@comment-24509095-20141102140220

can't we just use prefix notation and denote [a] as [a?

it'll eliminate the unnecessary symbols