, ¬ , r .. a / *$