Double post, quick question:
What notations do the developers use / prefer?
The used notation is fine. ^^
