1. 0207d5e MORPH operator, more examples by Joachim Bingel · 11 years ago
  2. 11d5b15 updated to new notation by Joachim Bingel · 11 years ago