frege – Type­set fregean Be­griff­ss­chrift

The pack­age de­fines a num­ber of new com­mands for type­set­ting fregean Be­griff­ss­chrift in LaTeX.
It is loosely based on the pack­age be­griff, and of­fers a num­ber of im­prove­ments in­clud­ing bet­ter rel­a­tive lengths of the con­tent stroke with re­spect to other strokes, con­tent strokes that point at the mid­dle of lines rather than the bot­tom, a greater width for the as­ser­tion stroke as com­pared to the con­tent stroke, a more in­tu­itive struc­ture for the con­di­tional, greater care taken to al­low for the linewidth in the spac­ing of for­mu­las.