@fa973c41 they should!  Although on second thought, do we really want the world infected with Polish notation? 

 @80f08b97 @fa973c41 wait… you mean Hungarian, right? 

 @a2fd2d6f @fa973c41 sorry yes