print options
variable a : Bool
variable b : Bool
print a/\b
set_option lean::pp::notation false
print options
print a/\b
print environment 2
set_option lean::pp::notation true
print options
print a/\b