# HG changeset patch
# User jfb
# Date 1555705268 14400
# Node ID f375051b0fcd45935309242513dcc58d3185f832
# Parent  74ada21ceb70f8080d1d28fd2d29262fa46d6f3d
Uploaded

diff -r 74ada21ceb70 -r f375051b0fcd all stuff/differenceFinder.xml
--- a/all stuff/differenceFinder.xml	Fri Apr 19 14:00:46 2019 -0400
+++ b/all stuff/differenceFinder.xml	Fri Apr 19 16:21:08 2019 -0400
@@ -33,11 +33,13 @@
         </test>
     </tests>
     <help><![CDATA[
-	This tool takes two Kinamine outputs (substrates and substrate background frequency files) and finds the symmetrical differences between those sets
+	This tool takes two Kinamine outputs (substrates and substrate background frequency files) and finds the two halves of the symmetrical difference.  https://en.wikipedia.org/wiki/Symmetric_difference
+	
+	Let us call the two INPUT substrate files 'A' and 'B'.  Let us call the two OUTPUT substrate files 'Y' and 'Z'.  'Y' consists of all 'A' that are not in 'B'.  'Z' consists of all 'B' that are not in 'A'.  In symbolic logic:
 	
-	Let us call the two INPUT substrate files 'Substrates A' and 'Substrates B'.  Let us call the two OUTPUT substrate files 'Substrates Y' and 'Substrates Z'.  If we treat each file as a SET, then...
+	Y ⇔ A ∧ ¬B
 	
-	'Substrates Y' consists of all 'Substrates A' that are not in 'Substrates B'.  'Substrates Z' consists of all 'Substrates B' that are not in 'Substrates A'.  
+	Z ⇔ B ∧ ¬A
 	
 	The associated Substrate Background Frequency files for each consists of all the proteins associated with that substrate file.
     ]]></help>