Explicit example/non-example and a convenience tex function