Hot: notation