This Mathematica notebook accompanies the paper, Sharp identified sets for discrete variable IV models. The notebook which is viewable in the freeware Math Player [Download Math Player]. The notebook does symbolic calculation of bounds as set out in Table 7 of the paper. The user provides values for M, the number of discrete outcomes and K the number of points of support of the endogenous variables. A stylised graphical display of the M - 1 threshold functions appears with the values associated with the K points of support of an endogenous variable X highlighted. The user can manipulate these thereby generating particular arrangements of γ. For each arrangement t selected, the notebook produces a table like Table 7 showing in symbolic form the inequalities defining a set Εt(z).