Correct syntax of example

Author: istathar

tests/samples/EmergencyBroadcast.tq

@@ -11,16 +11,16 @@ by the alarm you hear.
     1. <activate_crisis_management>
     2. <restore_normalcy>
 
-activate_crisis_management a : Alarm -> Emergency
+activate_crisis_management(a) : Alarm -> Emergency
 
 This first thing you need to do in a crisis is sound the alarm.
 
     - <sound_alarm>
 
-sound_alarm d : Detection -> Alarm
+sound_alarm(d) : Detection -> Alarm
 
 Sound the alarm!
 
-restore_normalcy e : Emergency -> Peace
+restore_normalcy(e) : Emergency -> Peace
 
 # Aftermath