Forward from: mudita β‘
Λ β (\ /) β + q
Λ + ( . .) q Λ
βΛq c(β)(β) β Λ +
Λ + ( . .) q Λ
βΛq c(β)(β) β Λ +