left ⌈ matrix{
ccol{ U above V }
} right ⌋ = left ⌊ matrix{
ccol{ U above V }
} right ⌉