A number triangle of order with entries 1 to such that entries are nondecreasing across rows and down columns
and all entries in column are less than or equal to . An example is

Magog triangles are in 1-to-1 correspondence with totally symmetric self-complementary
plane partitions.