* Add split-slash variants of `0` (#1270).
 * Add ligation set for Dafny (#1271).