Module FooMod.
#[local] Notation "⊥" := false.
Check ⊥. (* ⊥ : bool *)
End FooMod.
Disable Notation "+" (all).
Import FooMod.
Compute ⊥.
(* Syntax Error: Lexer: Undefined token *)