I've never seen this notation in jsdoc.