Wiki Discussion: Unification

I added some examples but I am not satisfied with the layout of the images. In the original HTML from which this was copied the images line up under the query and are done using <img src=... > tags where the source is in a subdirectory the html directory. I think discourse can do it if one has admin rights. Any way that is the best I can do at the moment. Also the true and false values are color coded, but that is not showing up as expected.

is not being recognized as a variable so queries like this =(☃,⌂). are failing.

?- char_type('A',Type).
Type = alnum ;
Type = alpha ;
Type = csym ;
Type = csymf ;
Type = prolog_var_start ;
Type = prolog_identifier_continue ;
Type = csymf ;
Type = ascii ;
Type = graph ;
Type = upper ;
Type = upper(a) ;
Type = to_lower('A') ;
Type = to_upper(a) ;
Type = xdigit(10)

?- char_type('⌂',Type).
Type = prolog_symbol ;
Type = to_lower(⌂) ;
Type = to_upper(⌂) ;
false.

Possible alternatives to the characters ⌂ ⌀ ⌘

C = 'Θ',
Types = [alnum, alpha, csym, csymf, prolog_var_start, prolog_identifier_continue, csymf, graph, upper|...],
Code = 920 ;
Code: 0x399

C = 'Ч',
 Types = [alnum, alpha, csym, csymf, prolog_var_start, prolog_identifier_continue, csymf, graph, upper|...],
Code = 1063 ;
Code: 0x428

C = 'Ⱎ',
Types = [alnum, alpha, csym, csymf, prolog_var_start, prolog_identifier_continue, csymf, graph, upper|...],
Code = 11294 ;
Code: 0x2C1F

Due to the formatting constraints with Discourse Markdown I am considering putting this into a PDF and then posting the link in the Wiki.


EDIT

This CSS option with Discourse might solve the problem.