$[\![k]\!]$