Add unicode alternatives: otimes and oplus (#109)
#156
| Job | Run time |
|---|---|
| 57m 54s | |
| 1h 23m 29s | |
| 1h 9m 8s | |
| 41m 25s | |
| 1h 6m 18s | |
| 50m 28s | |
| 52m 49s | |
| 1h 25m 57s | |
| 55m 27s | |
| 9h 22m 55s |
otimes and oplus (#109)
#156
| Job | Run time |
|---|---|
| 57m 54s | |
| 1h 23m 29s | |
| 1h 9m 8s | |
| 41m 25s | |
| 1h 6m 18s | |
| 50m 28s | |
| 52m 49s | |
| 1h 25m 57s | |
| 55m 27s | |
| 9h 22m 55s |