¬μΛ ¬¬
¬^
@
ε^