5 ms·

It's too bad, though, because all the extra quotes bloat what is otherwise a nice, spare format.

• ZenPsycho 14y ago
  It has exactly the opposite effect on the notation's grammar.