User blog comment:Deedlit11/Ordinal Notations VI: Up to a weakly compact cardinal/@comment-25418284-20130718062620/@comment-1605058-20130719124912

I found this FOM post by Taranovsky, where his system is defined in surprisingly short way. How is it possible that such simple notation defines system containing almost whole modern arithmetics?