A Mizar mode for (1996)

by J Harrison