xcompose: added math chars for prooves;

profile: cds command fixed to use "goblin echo".

profile

@@ -155,11 +155,12 @@ fn - {
 
 fn cds {
 	# Print history.
-	{for(i in $cds) echo $i } | nl
+	goblin echo -d '
+' $cds | nl >[2]/dev/null
 }
 
 fn hcds {
-	cds | head
+	cds | head >[2]/dev/null
 }
 
 fn p {

xcompose

@@ -5,4 +5,8 @@ include "%L"
 <Multi_key> <g> <g> : "γ"
 <Multi_key> <g> <p> : "π"
 <Multi_key> <g> <f> : "φ"
+<Multi_key> <g> <d> : "∆"
+
+<Multi_key> <m> <a> : "▲"
+<Multi_key> <m> <e> : "∎"