NameString ( NextKnot ( TorusKnot ( 13 , 3 ) ) ) {\displaystyle {\text{NameString}}({\text{NextKnot}}({\text{TorusKnot}}(13,3)))}