TraditionalForm for Inactive Limit, with Direction, broken

Whereas:

Inactivate[Limit[Sin[x],x->0,Direction->-1],Limit]//TraditionalForm


produces the expected result,

Inactivate[Limit[Sin[x],x->0,Direction->+1],Limit]//TraditionalForm


ignores the TraditionalForm .

Thanx. (version: 11.0.1.0, Student Edition)

• It looks like a bug to me. Jan 2 '17 at 23:35

Limit[Sin[x], x -> 0, Direction -> +1] // HoldForm // TraditionalForm


It looks like a bug. Here is the limit that works:

Inactivate[Limit[Sin[x], x -> 0, Direction -> -1], Limit] // TraditionalForm
(* boxes:
Cell[BoxData[
FormBox[
CellChangeTimes->{3.692388994988666*^9}]
*)


For the other limit, the TemplateBox tag should be changed to "InactiveLimitFromLeft", and everything would work. Instead, we get this:

Inactivate[Limit[Sin[x], x -> 0, Direction -> +1], Limit] // TraditionalForm
(*
Cell[BoxData[
FormBox[
RowBox[{
TemplateBox[{"Limit"},

• thanx. I had noticed that the HoldForm[]s would work, but I actually have a much more complex function than Sin[x], and want only the Limit[] to be Inactive[]. BTW, do the WR people look here for such bugs, or is one to report it elsewhere? Jan 3 '17 at 7:06