How To Write Kernel Notation