Succeeds Under Relation Symbol ⊱

From Symbol Copy