Merge pull request #83 from ashishrana160796/patch-1

norvig · web-flow · commit 86066bcfffb9 · 2018-06-22T00:01:24.000-05:00
Minor symbol update
diff --git a/md/Doubles-Tennis-Problem.md b/md/Doubles-Tennis-Problem.md
@@ -9,7 +9,7 @@ _Action(Hit(actor , Ball),_
 &emsp;PRECOND: _Approaching (Ball, loc) ∧ At(actor , loc)_  
 &emsp;EFFECT: _Returned (Ball))_  
 _Action(Go(actor , to),_  
-&emsp;PRECOND: _At (actor , loc) ∧ to != loc,_  
+&emsp;PRECOND: _At (actor , loc) ∧ to &ne; loc,_  
 &emsp;EFFECT: _At (actor , to) ∧ ¬ At (actor , loc))_  
 
 ---
