OCF and ordinal notation based on a weakly Mahlo cardinal

See also: extended arrows