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.
