+* Null pointers
+
+ Using a plain 0 is always correct and least effort to type. So:
+
+ void * p = 0;
+ -NOT-
+ void * p = NULL; // not used in LyX
+ -NOT-
+ void * p = '\0'; // not used in LyX
+ -NOT-
+ void * p = 42 - 7 * 6; // not used in LyX
+
+ Note: As an exception, imported third party code as well as code
+ interfacing the "native" APIs (src/support/os_*) can use NULL.
+