DOC: use strict implication notation and priming in tutorial
DOC: use strict implication notation and priming in tutorial

tulip-control/tulip-control,tulip-control/tulip-control,tulip-control/tulip-control,tulip-control/tulip-control